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.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Editorial Reviews
Review
...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
4 of 34 people found the following review helpful:
5.0 out of 5 stars
Excellent book.,
By A Customer
This review is from: Categorical Logic and Type Theory (Hardcover)
Excellent book. The best in its field. I would recommend it, particularly for students.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
order fibration, higher order dependent type theory, polymorphic type theory, fibred finite products, subobject fibration, fibred category theory, simple fibration, polymorphic fibration, classifying fibration, fibred finite limits, codomain fibration, simple coproducts, signature with predicates, small fibration, terminal object functor, regular fibration, double negation nucleus, strong coproducts, types over kinds, naive set theoretic semantics, fibred limits, internal category theory, family fibration, fibred preorder, composable tuples Key Phrases - Capitalized Phrases (CAPs): (learn more)
Axiom of Choice, Sets Sets, Markov's Principle, Sets Fam, Prove Lemma, Sign Fam, Calculus of Constructions, Pullback Lemma, Kind Type, Type Section, W-Sets W-Sets, Internal Diagrams, Total Category Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
order fibration, higher order dependent type theory, polymorphic type theory, fibred finite products, subobject fibration, fibred category theory, simple fibration, polymorphic fibration, classifying fibration, fibred finite limits, codomain fibration, simple coproducts, signature with predicates, small fibration, terminal object functor, regular fibration, double negation nucleus, strong coproducts, types over kinds, naive set theoretic semantics, fibred limits, internal category theory, family fibration, fibred preorder, composable tuples Key Phrases - Capitalized Phrases (CAPs): (learn more)
Axiom of Choice, Sets Sets, Markov's Principle, Sets Fam, Prove Lemma, Sign Fam, Calculus of Constructions, Pullback Lemma, Kind Type, Type Section, W-Sets W-Sets, Internal Diagrams, Total Category Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Citations (learn more)
18
books
cite this book:
See all 18 books citing this book
- From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides) by Laura Crosilla on page 77, page 90, and page 136
- Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues) by José Luis Fiadeiro on page 262, and page 328
- Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings ... Computer Science and General Issues) by Luke Ong on page 50, and page 99
- Generic Programming: Advanced Lectures (Lecture Notes in Computer Science) by Roland Backhouse on page 176
- Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science) by Martin Wirsing on page 325
See all 18 books citing this book
What Other Items Do Customers Buy After Viewing This Item?
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
