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

Revised on November 21, 2016 07:34:26 by David Corfield (129.12.18.176)