Norihiro Yamada

Publications

• Game Semantics of Universes. Norihiro Yamada. 2022.
• Game Semantics for Martin-Löf Type Theory. Norihiro Yamada. 2021.
• Game Semantics of Martin-Löf Type Theory, Part III: Its Consistency With Church's Thesis. Norihiro Yamada. 2020.
• On the Unity of Logic: A Sequential, Unpolarized Approach. Norihiro Yamada. 2019.
• A Game-Semantic Model of Computation, Revisited: An Automata-Theoretic Perspective. Norihiro Yamada. 2019.
• Categories With Dependence and Semantics of Dependent Types. Norihiro Yamada. 2019.
• Game-Theoretic Interpretation of Intuitionistic Type Theory. Norihiro Yamada. 2016.