4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2007★ 3 cited
Asynchronous games: innocence without alternation
Paul-André Melliès, Samuel Mimram
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of lambda-terms and PCF programs. An innocent strategy is defined as…
math.CT2007★ 4 cited
Resource modalities in game semantics
Paul-André Melliès, Nicolas Tabareau
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is…