Click on a thumbnail to go to Google Books.
Categorical Logic and Type Theory
by B. Jacobs
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English (1)
Amazon.com Product Description (ISBN 0444508538, Hardcover)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.
(retrieved from Amazon Thu, 12 Mar 2015 18:20:16 -0400)
No library descriptions found.
Is this you?
Become a LibraryThing Author.