@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"}