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

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

BibTeX

@book{poernomo2005, author = {Poernomo, Iman Hafiz and Crossley, John Newsome and Wirsing, Martin}, title = {Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)}, publisher = {Springer}, year = {2005}, isbn = {9780387237596} }