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