Linking Game-Theoretical Approaches with Constructive Type Theory - Clerbout, Nicolas; Rahman, Shahid (Springer International Publishing, 2015)