Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Authors: | , , |
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2005.
|
| Edition: | 1st ed. 2005. |
| Series: | Applied Logic Series ;
29 |
| Subjects: | |
| Online Access: | Texto Completo |