Title: Categorical logic and type theory
First published: 1999
Subjects: Type theory, Categories (Mathematics)
LC classification: QA9 .J27 1999