“My work has always tried to unite the true with the beautiful and when I had to choose one or the other, I usually chose the beautiful.”

- Hermann Weyl -

“It is impossible to be a mathematician without being a poet in soul.”

- Sofia Kovalevskaya -

SELECTED PUBLICATIONS

• Yamada, N. (2019). A Game-Semantic Model of Computation. Research in the Mathematical Sciences, 6(1), 3.

• Yamada, N., & Abramsky, S. (2020). Dynamic Game Semantics. Mathematical Structures in Computer Science. Accepted. A preprint is available.

SELECTED PREPRINTS

• Yamada, N. (2019). A Game-Semantic Model of Computation, Revisited: an Automata-Theoretic Perspective. arXiv preprint arXiv:1806.10435.

• Yamada, N. (2019). Game Semantics of Martin-Löf Type Theory. arXiv preprint arXiv:1905.00993.

• Yamada, N. (2020). Sequent Calculi for the Unity of Logic. arXiv preprint arXiv:2001.06138.

• Yamada, N. (2020). Game semantics of Martin-Löf type theory, part II: another, game-semantic proof of independence of Markov's principle in Martin-Löf type theory. In preparation (all the main results have been proven; a draft will be ready in fall, 2020).  

• 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 the unity of logic. In preparation (a draft will be ready in winter, 2020).

• Yamada, N. (2020). Categorical algebra for dependent types. In preparation (all the main results have been proven; a draft will be ready in fall, 2020).