https://123dok.net/document/zx5ol7nq-knowledge-and-its-game-theoretical-foundations-the-challenges-of-the-dialogical-approach-to-constructive-type-theory.html