Categorical Logic and Type Theory

Other | January 1, 1999

byJacobs, B., B. Jacobs

not yet rated|write a review
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Pricing and Purchase Info

$252.69 online
$328.08 list price (save 22%)
In stock online
Ships free on orders over $25

From the Publisher

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Format:OtherDimensions:778 pages, 1 × 1 × 1 inPublished:January 1, 1999Publisher:Elsevier ScienceLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0080528708

ISBN - 13:9780080528700

Customer Reviews of Categorical Logic and Type Theory

Reviews

Extra Content

Table of Contents

Chapter Headings only.Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.