10% off all books and free delivery over £50
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Categorical Logic and Type Theory

View All Editions (1)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Categorical Logic and Type Theory Synopsis

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.

About This Edition

ISBN: 9780444508539
Publication date:
Author: B Computing Science Institute, University of Nijmegen, The Netherlands Jacobs
Publisher: Elsevier Science Ltd an imprint of Elsevier Science & Technology
Format: Paperback
Pagination: 778 pages
Series: Studies in Logic and the Foundations of Mathematics
Genres: Mathematical foundations
Mathematical logic