Proofs and types /

Bibliographic Details

Main Author:	Girard, Jean-Yves
Other Authors:	Taylor, Paul, Lafont, Yves
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1989.
Series:	Cambridge tracts in theoretical computer science ; 7.
Subjects:	Proof theory. Type theory. Lambda calculus. Combinatory logic.