Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
Number of pages: 280
ISBN-13: 9783540314295
Subjects: Automatic theorem proving; Computer programming