SELECTED PUBLICATIONS
-
Yamada, N., & Abramsky, S. (2020). Dynamic game semantics. Mathematical Structures in Computer Science. DOI: 10.1017/S0960129520000250
-
Yamada, N. (2019). A game-semantic model of computation. Research in the Mathematical Sciences, 6(1), 3.
SELECTED PREPRINTS
-
Yamada, N. (2019). Game semantics of Martin-Löf type theory.
-
Yamada, N. (2020). Sequent calculi for a unity of logic. arXiv preprint arXiv:2001.06138. Submitted.
-
Yamada, N. (2020). Game semantics of Martin-Löf type theory, part III: its consistency with formal Church's thesis. arXiv preprint arXiv:2007.08094.
-
Yamada, N. (2020). Categorical algebra for a unity of logic. In preparation (a draft will be ready in spring, 2021).
-
Yamada, N. (2020). Categorical algebra for dependent types. In preparation (all the main results have been proven; a draft will be ready in spring, 2021).
