Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

by J. Lambek, P. J. Scott

304 pages· 1988· ISBN 9780521356534
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.

Discuss Introduction to Higher-Order Categorical Logic with other readers

Join or start a book club for Introduction to Higher-Order Categorical Logic on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Introduction to Higher-Order Categorical Logic?

Sign up free on Readfeed, then browse public clubs or start your own club with Introduction to Higher-Order Categorical Logic as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Introduction to Higher-Order Categorical Logic with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Introduction to Higher-Order Categorical Logic with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.