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.
ISBN: | 9780444508539 |
Publication date: | 10th May 2001 |
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 |