Download or read book Categorical Logic and Type Theory written by Bart Jacobs and published by Elsevier Science & Technology. This book was released on 1999 with total page 788 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.