nLab
Introduction to Higher-Order Categorical Logic

This refers to the book by Jim Lambek and Phil Scott:

• Lambek, J.; Scott, P.J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 978-0-521-35653-4.

category: reference