Title: Linking Game-Theoretical Approaches with Constructive Type Theory
Subjects: Computer science, Logic