Introduction to Higher-Order Categorical Logic
Book
Domain Context
Category Theory
Citation
Joachim Lambek and Philip J. Scott. (1986). Introduction to Higher-Order Categorical Logic. Cambridge University Press.
Why this reference is included
Lambek and Scott’s Introduction to Higher-Order Categorical Logic (1986) is part of the program’s reference corpus as standard domain context for Category Theory. It is not directly cited in the currently published volumes of Panta Rhei, but is retained as part of the research shelf.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.