TY  - RPRT
TI  - Syntactically and semantically regular languages of lambda-terms coincide through logical relations
AU  - Vincent Moreau
AU  - Lê Thành Dũng Nguyên
PY  - 2024
DO  - 10.4230/lipics.csl.2024.40
UR  - https://arxiv.org/abs/2308.00198
ID  - 2308.00198
ER  -