TY  - RPRT
TI  - Full Iso-recursive Types
AU  - Litao Zhou
AU  - Qianyong Wan
AU  - Bruno C. d. S. Oliveira
PY  - 2024
UR  - https://arxiv.org/abs/2407.00941
ID  - 2407.00941
ER  -