TY  - RPRT
TI  - From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
AU  - Clemens Grabmayer
PY  - 2024
DO  - 10.4204/eptcs.408.2
UR  - https://arxiv.org/abs/2410.00538
ID  - 2410.00538
ER  -