TY  - RPRT
TI  - A categorical framework for congruence of applicative bisimilarity in higher-order languages
AU  - Tom Hirschowitz
AU  - Ambroise Lafont
PY  - 2022
DO  - 10.46298/lmcs-18(3:37)2022
UR  - https://arxiv.org/abs/2103.16833
ID  - 2103.16833
ER  -