Types for Proofs and Programs
Subtitle: Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540391852
Subjects: Automatic theorem proving; Computer programming