Clerbout, Nicolas, <br/><br/>
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 .
<br/><br/> Springer eBooks 
<br/><br/>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.  . 
<br/><br/><label>ISBN: </label>9783319190631 
<br/><br/><label>LC Class. No.: </label>BC1-199