Categorical logic and type theory
By: Bart Jacobs.
Edition: 1st ed.
Series: Studies in logic and the foundations of mathematics ;; v. 141
Publisher: Elsevier Science
Published: 1999
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 760
Subjects: Type theory.; Categories (Mathematics)
Notes: Includes bibliographical references (p. 717-733) and indexes.