2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
Modular coinduction up-to for higher-order languages via first-order transition systems
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
The bisimulation proof method can be enhanced by employing `bisimulations up-to' techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., C…
cs.LO2014
On Coupled Logical Bisimulation for the Lambda-Calculus
Ryan Kavanagh, Jean-Marie Madiot
We study coupled logical bisimulation (CLB) to reason about contextual equivalence in the lambda-calculus. CLB originates in a work by Dal Lago, Sangiorgi and Alberti, as a tool to…