Next
Categorical logic and type theory [electronic resource] / Bart Jacobs. Jacobs, Bart.
Remove from Cart
X
Amsterdam ; New York : Elsevier Science, c1999.
xviii, 760 p. : ill. ; 23 cm.
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.