Types for Proofs and Programs häftadEngelska, 2007