Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 by | 5 Aug 2026Buy now and save! Book year: 2007.