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., & Abramsky, S. (2020). Dynamic game semantics. Mathematical Structures in Computer Science. Accepted. A preprint is available.
-
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. (2019). Game semantics of Martin-Löf type theory. arXiv preprint arXiv:1905.00993. Submitted.
-
Yamada, N. (2020). Sequent calculi for the unity of logic. arXiv preprint arXiv:2001.06138. Submitted.
-
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).