1 paper · 1 filter
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Game semantics has provided adequate models for a variety of programming languages, in which types are interpreted as two-player games and programs as strategies. Melliès (2018) su…