Ebook: Categorical Logic and Type Theory
Author: B. Jacobs
- Genre: Mathematics // Logic
- Series: Studies in Logic and the Foundations of Mathematics 141
- Year: 1999
- Publisher: Elsevier
- City: Amsterdam; New York
- Language: English
- pdf
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.
Download the book Categorical Logic and Type Theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)