Categorical Logic and Type Theory

Voorkant
Gulf Professional Publishing, 24 mei 2001 - 778 pagina's
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.
 

Wat mensen zeggen - Een review schrijven

We hebben geen reviews gevonden op de gebruikelijke plaatsen.

Inhoudsopgave

Prospectus
1
Introduction to fibred category theory
19
Simple type theory
119
Equational Logic
169
First order predicate logic
219
Higher order predicate logic
311
The effective topos
373
Internal category theory
407
Advanced fibred category theory
509
First order dependent type theory
581
Higher order dependent type theory
645
References
735
Subject Index
743
Copyright

Overige edities - Alles weergeven

Veelvoorkomende woorden en zinsdelen

Populaire passages

Pagina 719 - A. Carboni, S. Lack, and RFC Walters. Introduction to extensive and distributive categories.
Pagina 719 - JRB Cockett and D. Spencer. Strong categorical datatypes I. In RAG Seely, editor, Category Theory 1991, number 13 in CMS Conference Proceedings, pages 141-169, 1992.
Pagina 725 - In S. Brookes, M. Main, A. Melton, and M. Mislove, editors, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, volume 1 of Electronic Notes in Theoretical Computer Science, Tulane University, New Orleans, Louisiana, Mar.
Pagina 719 - About charity. Technical Report 92/480/18, Dep. Comp. Sci., Univ. Calgary, 1992. [5] JRB Cockett and D. Spencer. Strong categorical datatypes I. In RAG Seely, editor, Category Theory 1991, volume 13 of CMS Conference Proceedings, pages 141-169.

Bibliografische gegevens