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  - 2024/12/26

ER  -