Jump to ratings and reviews
Rate this book

Categorical Logic and Type Theory (Volume 141)

Rate this book
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.

778 pages, Hardcover

First published December 1, 1998

6 people are currently reading
75 people want to read

About the author

Bart Jacobs

14 books

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
12 (66%)
4 stars
6 (33%)
3 stars
0 (0%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.

Can't find what you're looking for?

Get help and learn more about the design.