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 Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2005.
|
| Series: | Applied Logic Series,
29 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
