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 |