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

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

Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing · Springer · 2005

Wikipedia

{{cite book |last=Poernomo |first=Iman Hafiz |title=Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science) |publisher=Springer |year=2005 |isbn=9780387237596}}