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

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

Εμφάνιση άλλων εκδόσεων (1)

`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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Kamareddine, Fairouz (Συγγραφέας), Laan, Twan (Συγγραφέας), Nederpelt, Rob (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands, 2005.
Σειρά:Applied Logic Series, 29
Θέματα:
Mathematics.
Logic.
Computer science > Mathematics.
Mathematical logic.
Mathematical Logic and Foundations.
Mathematics of Computing.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.

Παρόμοια τεκμήρια