Poernomo, I. H., Crossley, J. N., & Wirsing, M. (2005). Adapting proofs-as-programs: The Curry-Howard protocol. New York: Springer Science + Business Media.
Παραπομπή Chicago StylePoernomo, Iman Hafiz, John Newsome Crossley, and Martin Wirsing. Adapting Proofs-as-programs: The Curry-Howard Protocol. New York: Springer Science + Business Media, 2005.
Παραπομπή MLAPoernomo, Iman Hafiz, John Newsome Crossley, and Martin Wirsing. Adapting Proofs-as-programs: The Curry-Howard Protocol. New York: Springer Science + Business Media, 2005.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.