TY  - RPRT
TI  - On the Semantic Expressiveness of Iso- and Equi-Recursive Types
AU  - Dominique Devriese
AU  - Eric Mark Martin
AU  - Marco Patrignani
PY  - 2024
DO  - 10.46298/lmcs-20(4:14)2024
UR  - https://arxiv.org/abs/2010.10859
ID  - 2010.10859
ER  -