Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Product Description
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
- Used Book in Good Condition
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.
Technical Specifications
You might also like
Type Theory and Formal Proof: An Introduction
Category Theory in Context (Aurora: Dover Modern Math Originals)
Topos Theory (Dover Books on Mathematics)
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Algebra: Chapter 0 (Graduate Studies in Mathematics)
Conceptual Mathematics: A First Introduction to Categories