Categorical Logic and Type Theory, 141

By
B. Jacobs, Computing Science Institute, University of Nijmegen, The Netherlands

Description
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.

Included in series
Studies in Logic and the Foundations of Mathematics