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

• Main Authors: Kamareddine, Fairouz (Author), Laan, Twan (Author), Nederpelt, Rob (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2005.
• Series: Applied Logic Series, 29
• Subjects: Mathematics.; Logic.; Computer science > Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematics of Computing.

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