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