@book{lambek_scott_1986,
 title = {Introduction to Higher-Order Categorical Logic},
 author = {Lambek, Joachim and Scott, Philip J.},
 series = {Cambridge Studies in Advanced Mathematics},
 volume = {7},
 publisher = {Cambridge University Press},
 year = {1986}
}