Introduction to Higher-Order Categorical Logic

Free Download

Authors:

Series: Cambridge Studies in Advanced Mathematics 7

ISBN: 9780521356534, 0521356539

Size: 33 MB (34251528 bytes)

Pages: 301/301

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

J. Lambek, P. J. Scott9780521356534, 0521356539

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.

Reviews

There are no reviews yet.

Be the first to review “Introduction to Higher-Order Categorical Logic”

Related products

Shopping Cart
Scroll to Top