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