Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540248491
Subjects: Automatic theorem proving; Computer programming