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

• Κύριοι συγγραφείς: 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.

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