2 citations · 2 across the 1 of their papers we have counts for
1 paper
Martin Churchill, James Laird, Guy McCusker
The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over…