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

SELECTED PREPRINTS

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

  • Facebook Clean Grey
  • Twitter Clean Grey
  • LinkedIn Clean Grey