Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice - Clerbout, Nicolas; Rahman, Shahid (Springer International Publishing : Imprint: Springer, 2015)