Linking Game-Theoretical Approaches with Constructive Type Theory

by Nicolas Clerbout, Shahid Rahman