Adapting Proofs-as-Programs The Curry-Howard Protocol - Poernomo, Iman Hafiz; Wirsing, Martin; Crossley, John Newsome; SpringerLink (Online service) (New York, NY : Springer Science+Business Media Inc., 2005)
Keywords: Curry-Howard isomorphism; Proof theory