Norihiro Yamada

14 papers Journal 13

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Game semantics of Martin-Löf type theory. Math. Struct. Comput. Sci. Norihiro Yamada
2023	J	`jnl`	Logic and computation as combinatorics. CoRR Norihiro Yamada
2022	J	`jnl`	Game semantics of universes. CoRR Norihiro Yamada
2020	J	`jnl`	Dynamic game semantics. Math. Struct. Comput. Sci. Norihiro Yamada, Samson Abramsky
2020	J	`jnl`	Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis. CoRR Norihiro Yamada
2019	J	`jnl`	Game Semantics of Martin-Löf Type Theory. CoRR Norihiro Yamada
2019	J	`jnl`	On the Unity of Logic: a Sequential, Unpolarized Approach. CoRR Norihiro Yamada
2018	J	`jnl`	A Game-Semantic Model of Computation, Revisited: An Automata-Theoretic Perspective. CoRR Norihiro Yamada
2017	J	`jnl`	Dependent Cartesian Closed Categories. CoRR Norihiro Yamada
2017	J	`jnl`	Game-theoretic Investigation of Intensional Equalities. CoRR Norihiro Yamada
2017	J	`jnl`	Game-theoretic Model of Computation. CoRR Norihiro Yamada
2017	—	`—`	Games as mathematics of logic and computation. Norihiro Yamada
2016	J	`jnl`	Dynamic Games and Strategies. CoRR Norihiro Yamada, Samson Abramsky
2016	J	`jnl`	Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence. CoRR Norihiro Yamada