Title: Introduction to higher order categorical logic
Subjects: Categories (Mathematics), Logic, symbolic and mathematical