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

Last revised on November 21, 2016 at 07:34:26. See the history of this page for a list of all contributions to it.