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

Full description

Main Author: Kamareddine, Fairouz.
Corporate Author: SpringerLink (Online service)
Other Authors: Laan, Twan., Nederpelt, Rob.
Format: Electronic
Language: English
Published: Dordrecht : Springer Netherlands, 2005.
Series: Applied Logic Series, 29
Subjects:
Online Access: http://dx.doi.org/10.1007/1-4020-2335-9
Tags: Add Tag
No Tags, Be the first to tag this record!