Linking game-theoretical approaches with constructive type theory :
Clerbout, Nicolas,
Linking game-theoretical approaches with constructive type theory : dialogical strategies, ctt demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman. - xix, 99 páginas : 26 ilustraciones - SpringerBriefs in Philosophy, 2211-4548 .
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. .
9783319190631
BC1-199
Linking game-theoretical approaches with constructive type theory : dialogical strategies, ctt demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman. - xix, 99 páginas : 26 ilustraciones - SpringerBriefs in Philosophy, 2211-4548 .
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. .
9783319190631
BC1-199