Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540744641
Subjects: Automatic theorem proving; Computer programming; Logic, symbolic and mathematical