Linking Game-Theoretical Approaches with Constructive Type Theory

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the works subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important a...