SELECTED PUBLICATIONS
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. & Neves, R. (2024). Fully abstract game semantics 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.