3 citations · 3 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 7 cited
The Structure of First-Order Causality
Samuel Mimram
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing de…
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…