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