“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.

SELECTED PREPRINTS

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

• Yamada, N., & Abramsky, S. (2019). Dynamic Game Semantics. arXiv preprint arXiv:1601.04147. Submitted to Mathematical Structures in Computer Science.

• Yamada, N. (2019). Game Semantics of Martin-Löf Type Theory. arXiv preprint arXiv:1905.00993. Submitted to Research in the Mathematical Sciences.

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