Categorical Logic and Type Theory

B. Jacobs

Elsevier Science, 1999 - Mathematics - 760 pages

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.

Bibliographic information

• Title: Categorical Logic and Type Theory; Volume 141 of Studies in Logic and the Foundations of Mathematics, ISSN 0049-237X
• Author: B. Jacobs
• Edition: illustrated, reprint
• Publisher: Elsevier Science, 1999
• ISBN: 0444501703, 9780444501707
• Length: 760 pages
• Subjects: Mathematics / Algebra / General; Mathematics / Applied; Mathematics / Geometry / Algebraic; Mathematics / History & Philosophy; Mathematics / Logic; Science / Philosophy & Social Aspects