Reference Categorical logic and type theory [jacobs-categorical-logic]

 @book
{jacobs-categorical-logic, address={Amsterdam; New York}, edition={1st ed}, series={Studies in logic and the foundations of mathematics}, title={Categorical logic and type theory}, ISBN={978-0-444-50170-7}, callNumber={QA9 .J27 1999}, publisher={Elsevier Science}, author={Jacobs, Bart}, year={1999}, collection={Studies in logic and the foundations of mathematics},language={en} }