Adapting Proofs-as-Programs
Subtitle: The Curry--Howard Protocol
Publisher: Springer
Published: Nov 19, 2010
Format: paperback
Number of pages: 432
ISBN-13: 9781441920140
Notes: Source title: Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)