Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Applied Logic Series ;
29 |
| Temas: | |
| Acceso en línea: | Texto Completo |