Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 Posted July 14, 2026 by & filed under . Buy now and save! Book year: 2007.