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

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

MLA

Poernomo, Iman Hafiz, et al. Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). Springer, 2005.

APA

Poernomo, I. H., Crossley, J. N., & Wirsing, M. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). Springer.

Chicago

Poernomo, Iman Hafiz, John Newsome Crossley, Martin Wirsing. Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). 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}}

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} }