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


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

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 -

Yet it is not these gifts, nor the most determined ambition combined with irresistible will-power, that enables one to surmount the “invisible yet formidable boundaries” that encircle our universe. Only innocence can surmount them, which mere knowledge doesn’t even take into account, in those moments when we find ourselves able to listen to things, totally and intensely absorbed in child’s play.

- Alexander Grothendieck -