TY  - RPRT
TI  - On Coupled Logical Bisimulation for the Lambda-Calculus
AU  - Ryan Kavanagh
AU  - Jean-Marie Madiot
PY  - 2014
UR  - https://arxiv.org/abs/1410.2833
ID  - 1410.2833
ER  -