nLab Norihiro Yamada

Publications

Norihiro Yamada, Samson Abramsky, (2020). Dynamic game semantics. Mathematical Structures in Computer Science, Volume 30, Issue 8, September 2020, pp. 892 - 951 (doi:10.1017/S0960129520000250)

Talks

Norihiro Yamada, Game semantics of homotopy type theory, Homotopy Type Theory Electronic Seminar Talks, 11 February 2021 (video, slides)

category: people

Created on October 8, 2022 at 17:46:01. See the history of this page for a list of all contributions to it.