APA (7th ed.) Citation

(2005). Adapting proofs-as-programs: The Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.

Chicago Style (17th ed.) Citation

Adapting Proofs-as-programs: The Curry-Howard Protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing. 2005.

MLA (9th ed.) Citation

Adapting Proofs-as-programs: The Curry-Howard Protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing. 2005.

Warning: These citations may not always be 100% accurate.