Types for Proofs and Programs International Workshop Types 2006 LNCS 4502Buy now and save! Book year: 2007.
