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.
Buy Categorical Logic and Type Theory book by Bart Jacobs from Australia's Online Independent Bookstore, Boomerang Books.
(234mm x 156mm x 43mm)
Elsevier Science Ltd
Publisher: Elsevier Science & Technology
Country of Publication: