SELECTED PUBLICATIONS
Yamada, N. (2024). 圏論的論理学とトポス理論－証明の代数学としての数理論理学 (English: categorical logic and topos theory–mathematical logic as the algebra of proofs). 数理科学（サイエンス社） 2024年11月号
Yamada, N. (2023). Game semantics of Martin-Löf type theory. Mathematical Structures in Computer Science, 1-42. DOI:10.1017/S0960129523000154
Yamada, N., & Abramsky, S. (2020). Dynamic game semantics. Mathematical Structures in Computer Science, 30(8), 892-951. 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. (2024). Definability and full abstraction for algebraic effects with recursion. Available soon.
Yamada, N. (2024). Curry-Howard-Lambek isomorphisms for classical logic. Under review.
Yamada, N. (2024). A combinatorial foundation of topology. In preparation.
Yamada, N. (2024). Higher-order computational complexities and functional analysis. Available soon.
Yamada, N. (2024). Proofs and types without commuting conversions. Under revision.
Yamada, N. (2023). Logic and computation as combinatorics. Under revision.
Yamada, N. (2022). Game semantics of universes. Under review.
Yamada, N. (2021). Internal infinity-groupoids and game semantics of homotopy type theory (based on my HoTTEST talk (slides; video) in February, 2021). Under revision.
Yamada, N. (2020). Sequent calculi for a unity of logic. Under revision.