BibTex entry

@BOOK{JacobsCLTT, 
AUTHOR       = "B. Jacobs", 
TITLE        = "Categorical Logic and Type Theory",
PUBLISHER    = "North Holland", 
ADDRESS      = "Amsterdam", 
SERIES       = "Studies in Logic and the Foundations of Mathematics",
NUMBER       = "141",
YEAR         = "1999"}

Bart Jacobs
Last modified: Fri Feb 12 15:56:54 MET 1999