Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30

Stefano Berardi Mario Coppo Ferruccio Damiani Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers TYPES Lecture Notes in Computer Science 3085 Springer 2004 3-540-22164-6 db/conf/types/types2003.html