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