Hebrew
A Modern Perspective on Type Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Prehistory
-
Altmetric BadgeChapter 3 Type theory in Principia Mathematica
-
Altmetric BadgeChapter 4 Deramification
-
Altmetric BadgeChapter 5 Propositions as Types and Pure Type Systems
-
Altmetric BadgeChapter 6 The pre-PAT RTT and STT in PAT-style
-
Altmetric BadgeChapter 7 A Correspondence between RTT and the system Nuprl
-
Altmetric BadgeChapter 8 Automath
-
Altmetric BadgeChapter 9 Pure Type Systems with definitions
-
Altmetric BadgeChapter 10 The Barendregt cube with parameters
-
Altmetric BadgeChapter 11 Pure Type Systems with parameters and definitions