Derivation and computation : taking the Curry-Howard correspondence seriously /

Bibliographic Details

Main Author:	Simmons, Harold
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2000.
Series:	Cambridge tracts in theoretical computer science ; 51.
Subjects:	Proof theory. Lambda calculus. Type theory.