Menu
Home
Help and information
About this website
Privacy Policy
Stefano Berardi
1 published title
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
(Contributor)
1 edition
ISBN: 3540221646
Springer
2004
Details