TY  - JOUR

T1  - Nominal recursors as epi-recursors

JO  - Proceedings of the ACM on Programming Languages

UR  - https://eprints.whiterose.ac.uk/id/eprint/209458

PY  - 2024/01/05

AU  - Popescu A

ED  - Hicks M

DO  - DOI: 10.1145/3632857

PB  - Association for Computing Machinery

VL  - 8

IS  - POPL

Y2  - 2025/11/27

ER  -