top of page

Ludos sicut Mathematica

SELECTED PUBLICATIONS

Yamada, N. (2022). Game semantics of Martin-Löf type theory. Mathematical Structures in Computer Science, 1-42. DOI: doi:10.1017/S0960129523000154

Yamada, N., & Abramsky, S. (2020). Dynamic game semantics. Mathematical Structures in Computer Science, 30(8), 892-951. DOI: 10.1017/S0960129520000250

Yamada, N. (2019). A game-semantic model of computation. Research in the Mathematical Sciences, 6(1), 3.

SELECTED PREPRINTS

Yamada, N. (2023). Logic and computation as combinatorics.

Yamada, N. (2023). Categorical algebras for linearity and dependency.

Yamada, N. (2022). Game semantics of universes (arXiv).

Yamada, N. (2022). Curry-Howard isomorphisms without conversions. Submitted.

Yamada, N. (2021). Internal infinity-groupoids and game semantics of homotopy type theory (based on my HoTTEST talk (slides; video) in February, 2021).

Yamada, N. (2022). Combinatorial general topology. In preparation.

Yamada, N. (2022). A combinatorial foundation of logic and computation. In preparation.

Yamada, N. (2020). Sequent calculi for a unity of logic. arXiv preprint arXiv:2001.06138. Submitted.

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.

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 -

bottom of page