Categorical logic and type theory
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
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam
Elsevier Science
1999, 1999
|
| Edition: | 1st ed |
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
| Summary: | 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 |
|---|---|
| Physical Description: | xviii, 760 pages illustrations |
| ISBN: | 9780444501707 0080528708 0444501703 |