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...
|Main Author:||Kamareddine, Fairouz.|
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Laan, Twan., Nederpelt, Rob.|
Applied Logic Series,
No Tags, Be the first to tag this record!