Categorical Logic and Type Theory (Volume 141)
By Bart Jacobs
1998
First Published
4.67
Average Rating
779
Number of 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.
Avg Rating
4.67
Number of Ratings
15
5 STARS
67%
4 STARS
33%
3 STARS
0%
2 STARS
0%
1 STARS
0%
goodreads
