42 citations · 56 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Game Semantics: Easy as Pi
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
Game semantics has proven to be a robust method to give compositional semantics for a variety of higher-order programming languages. However, due to the complexity of most game mod…
cs.LO2020
Concurrent Separation Logic Meets Template Games
Paul-André Melliès, Léo Stefanesco
An old dream of concurrency theory and programming language semantics has been to uncover the fundamental synchronization mechanisms which regulate situations as different as game…