B. Jacobs,
B. (Computing Science Institute, University of Nijmegen, The Netherlands) Jacobs
Elsevier Science
e druk, 2001
9780444508539
Categorical Logic and Type Theory
Specificaties
Paperback, blz.
|
Engels
Elsevier Science |
e druk, 2001
ISBN13: 9780444508539
Rubricering
Onderdeel van serie
Studies in Logic and the Foundations of Mathematics
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
Inhoudsopgave
Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.