TY - JOUR T1 - Nominal Recursors as Epi-Recursors JO - Proceedings of the ACM on Programming Languages UR - http://dx.doi.org/10.1145/3632857 PY - 2024/01/05 AU - Popescu A ED - DO - DOI: 10.1145/3632857 PB - Association for Computing Machinery (ACM) VL - 8 IS - POPL SP - 425 EP - 456 Y2 - 2025/05/24 ER -