Coppo, Mario books & textbook
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158)
Springer /1996-10-02 Paperback / 308 Pages
isbn-10: 3540617809 / isbn-13: 9783540617808
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
The Boy and the Mountain
Bellini, Mario Coppo, Marianna
Tundra Books /2022-06-21 Hardcover / 48 Pages
isbn-10: 0735270252 / isbn-13: 9780735270251
Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science, 3701)
Coppo, Mario Lodi, Elena Pinna, G. Michele
Springer /2005-09-28 Paperback / 422 Pages
isbn-10: 3540291067 / isbn-13: 9783540291060
