Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Berardi, Stefano; Berardi, Stefano; Coppo, Mario; Coppo, Mario; Damiani, Ferruccio; Damiani, Ferruccio (Springer Berlin Heidelberg : Imprint: Springer, 2004)