Linking game-theoretical approaches with constructive type theory : dialogical strategies, ctt demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman.
Tipo de material:
TextoSeries SpringerBriefs in PhilosophyEditor: Cham : Springer International Publishing : Springer, 2015Descripción: xix, 99 páginas : 26 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319190631
- BC1-199
Contenidos:
Chapter 1. Brief Reminder of Constructive Type Theory -- Chapter 2. Dialogues with Play-Objects -- Chapter 3. From dialogical strategies to CTT demonstrations -- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT -- Chapter 5. Building a winning P-strategy out of a CTT demonstration -- Chapter 6. Conclusions and Work in Progress. .
No hay ítems correspondientes a este registro
Springer eBooks
Chapter 1. Brief Reminder of Constructive Type Theory -- Chapter 2. Dialogues with Play-Objects -- Chapter 3. From dialogical strategies to CTT demonstrations -- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT -- Chapter 5. Building a winning P-strategy out of a CTT demonstration -- Chapter 6. Conclusions and Work in Progress. .
Para consulta fuera de la UANL se requiere clave de acceso remoto.