Categorical Logic and Type Theory
| 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
Download or read book Categorical Logic and Type Theory 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. 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.
