Kamareddine, Fairouz
A Modern Perspective on Type Theory
1. Introduction
Part I. The Evolution of Type Theory until the 1940s
2. Prehistory
3. Type theory in Principia Mathematica
4. Deramification
Part II. Propositions as Types, Pure Type Systems, AUTOMATH
5. Propositions as Types and Pure Type Systems
6. The pre-PAT RTT and STT in PAT-style
7. A Correspondence between RTT and the system Nuprl
8. Automath
Part III. Extensions of Pure Type Systems
9. Pure Type Systems with definitions
10. The Barendregt cube with parameters
11. Pure Type Systems with parameters and definitions
Avainsanat: Mathematics, Mathematical Logic and Foundations, Mathematics of Computing, Logic
- Tekijä(t)
- Kamareddine, Fairouz
- Laan, Twan
- Nederpelt, Rob
- Julkaisija
- Springer
- Julkaisuvuosi
- 2004
- Kieli
- en
- Painos
- 1
- Sarja
- Applied Logic Series
- Sivumäärä
- 373 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781402023354