Adapting Proofs-as-Programs The Curry-Howard Protocol - Poernomo, Iman Hafiz; Wirsing, Martin; Crossley, John Newsome; SpringerLink (Online service) (New York, NY : Springer New York, 2005)
Keywords: Computer science; Logic design; Software engineering; Logic, Symbolic and mathematical; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Foundations; Logic Design; Programming Techniques; Software Engineering/Programming and Operating Systems; Models and Principles