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

by: Iman Hafiz Poernomo · John Newsome Crossley · Martin Wirsing

Springer · 2005

Hardcover

details (USA).

details (United Kingdom).

details (Canada).

details (Germany).

details (France).

ISBN: 978-0-387-23759-6

ISBN-10: 0-387-23759-3