ISBN 9783540221647 books & textbook
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3085)
Berardi, Stefano Coppo, Mario Damiani, Ferruccio
Springer /2004-06-15 Paperback / 422 Pages
isbn-10: 3540221646 / isbn-13: 9783540221647
