Sisäänkirjautuminen

Kamareddine, Fairouz

A Modern Perspective on Type Theory

Kamareddine, Fairouz - A Modern Perspective on Type Theory, e-kirja

142,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781402023354
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

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)
 
 
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

Samankaltaisia e-kirjoja