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