“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. (2018). A Game-semantic model of computation, revisited: an automata-theoretic perspective. arXiv preprint arXiv:1806.10435.

• Yamada, N., & Abramsky, S. (2016). Dynamic game semantics. arXiv preprint arXiv:1601.04147.

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