TY  - RPRT
TI  - Modular coinduction up-to for higher-order languages via first-order transition systems
AU  - Jean-Marie Madiot
AU  - Damien Pous
AU  - Davide Sangiorgi
PY  - 2021
DO  - 10.46298/lmcs-17(3:25)2021
UR  - https://arxiv.org/abs/2001.07063
ID  - 2001.07063
ER  -