Search for 'su:"Lambda calculus"'

Adapting proofs-as-programs : the Curry-Howard protocol

By Crossley, John N.. New York: Springer, 2005 . xi, 420 p.; 24 cm.. 0387237593

By Amadio, Roberto M.. Cambridge: Cambridge University Press, 2008 . xvi, 484 p.; 23 cm.. 9780521062923

By Barendregt, Henk. Cambridge: Cambridge University Press, 2013 . xxii, 833 p.; 26 cm.. 9780521766142

By Hindley, J. Roger. Cambridge: Cambridge University Press, 2008 . xi, 345 p.; 24 cm.. 9780521898850

By Kluge, Werner. Berlin: Springer, 2005 . xiv, 384 p.; 24 cm.. 9783540211464

By Bruce, Kim B.. Cambridge: MIT Press, 2002 . 384 p.; 24 cm.. 026202523X

By Lewis, Harry R. Cambridge : MIT Press, 2021 . xxii, 495 p. ; 23 cm. 9780262045308