Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.

Saved in:

Bibliographic Details
Main Author:	Girard, Jean-Yves
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1990.
Edition:	Reprinted with minor corrections.
Series:	Cambridge tracts in theoretical computer science. ; 7
Subjects:	Proof theory. Type theory. Computer programming.

Holdings details from Science Library
Call Number:	QA9.54 .G572 1990
Status:	Available

Similar Items