Categorical Logic and Type Theory

Categorical Logic and Type Theory
Author :
Publisher : Gulf Professional Publishing
Total Pages : 784
Release :
ISBN-10 : 0444508538
ISBN-13 : 9780444508539
Rating : 4/5 (539 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.


Categorical Logic and Type Theory Related Books