SELECTED PUBLICATIONS
-
Yamada, N. (2022). Game semantics of Martin-Löf type theory. arXiv preprint arXiv:1905.00993. Accepted by Mathematical Structures in Computer Science subject to minor revisions.
-
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. (2022). Game semantics of universes (arXiv).
-
Yamada, N. (2022). Curry-Howard isomorphisms without conversions. Submitted.
-
Yamada, N. (2021). Internal infinity-groupoids and game semantics of homotopy type theory (based on my HoTTEST talk (slides; video) in February, 2021).
-
Yamada, N. (2022). Combinatorial general topology. In preparation.
-
Yamada, N. (2022). A combinatorial foundation of logic and computation. In preparation.
-
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.
