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…