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.
Last revised on November 21, 2016 at 12:34:26.
See the history of this page for a list of all contributions to it.