Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by: Iman Poernomo · John N. Crossley · Martin Wirsing Hardcover details (USA). ISBN: 978-0-387-23759-6 ISBN-10: 0-387-23759-3 Springer · 2005