Cargando…
Realizability : an Introduction to its Categorical Side.
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been mo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Burlington :
Elsevier,
2008.
|
| Colección: | Progress in Brain Research, v. 131.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Front Cover; Realizability: An Introduction to its Categorical Side; Copyright Page; Preface; Introduction; Table of Contents; Chapter 1 Partial Combinatory Algebras; Chapter 2 Realizability triposes and toposes; Chapter 3 The Effective Topos; Chapter 4 Variations; Bibliography; Index.