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