Categorical Logic and Type Theory
Download or Read eBook Categorical Logic and Type Theory PDF written by B. Jacobs and published by Gulf Professional Publishing. This book was released on 2001-05-10 with total page 784 pages. Available in PDF, EPUB and Kindle.
Author | : B. Jacobs |
Publisher | : Gulf Professional Publishing |
Total Pages | : 784 |
Release | : 2001-05-10 |
ISBN-10 | : 0444508538 |
ISBN-13 | : 9780444508539 |
Rating | : 4/5 (38 Downloads) |
Book Synopsis Categorical Logic and Type Theory by : B. Jacobs
Book excerpt: 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.