44 citations · 55 across the 3 of their papers we have counts for
1 paper · 1 filter
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propos…