12 citations · 56 across the 23 of their papers we have counts for
1 paper · 2 filters
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…