Categorical logic and type theory /

Bibliographic Details

Main Author:	Jacobs, Bart
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier Science, [1999]
Edition:	1st ed.
Series:	Studies in logic and the foundations of mathematics ; v. 141.
Subjects:	Type theory. Categories (Mathematics)