Norihiro Yamada - Publications

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. Definability and full abstraction for algebraic effects with recursion. Available soon.

Yamada, N. Curry-Howard-Lambek isomorphisms for classical logic. Under review.

Yamada, N. A combinatorial foundation of topology. In preparation.

Yamada, N. Higher-order computational complexities and functional analysis. Available soon.

Yamada, N. A graphical calculus for linear categories. Available soon.

Yamada, N. Logic and computation as combinatorics. Under revision.

Yamada, N. Game semantics of universes. Under review.

Yamada, N. Internal infinity-groupoids and game semantics of homotopy type theory (based on my HoTTEST talk (slides; video) in February, 2021). Under revision.