Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek
Cambridge University Press | March 25, 1988 | English | ISBN: 0521356539 | 301 pages | PDF | 32 MB
Cambridge University Press | March 25, 1988 | English | ISBN: 0521356539 | 301 pages | PDF | 32 MB
In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same.