A Modern Perspective on Type Theory From its Origins until Today /

`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century ha...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kamareddine, F.D (Autor), Laan, T. (Autor), Nederpelt, Rob (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Applied Logic Series ; 29
Temas:
Mathematical logic.
Computer science-Mathematics.
Logic.
Mathematical Logic and Foundations.
Mathematics of Computing.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Evolution of Type Theory until the 1940s
  • Prehistory
  • Type theory in Principia Mathematica
  • Deramification
  • Propositions as Types, Pure Type Systems, AUTOMATH
  • Propositions as Types and Pure Type Systems
  • The pre-PAT RTT and STT in PAT-style
  • A Correspondence between RTT and the system Nuprl
  • Automath
  • Extensions of Pure Type Systems
  • Pure Type Systems with definitions
  • The Barendregt cube with parameters
  • Pure Type Systems with parameters and definitions.

Ejemplares similares