Crossley, John N.
Adapting proofs-as-programs : the Curry-Howard protocol
- New York: Springer, 2005
- xi, 420 p.; ill.: 24 cm.
- Monographs in computer science .
0387237593 (hbk)
Logic, Symbolic and mathematical
Curry-Howard isomorphism
Functional programming (Computer science)
Lambda calculus
Proof theory
511.36 / POE