2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…