TY  - RPRT
TI  - The algebraic $λ$-calculus is a conservative extension of the ordinary $λ$-calculus
AU  - Axel Kerinec
AU  - Lionel Vaux Auclair
PY  - 2023
UR  - https://arxiv.org/abs/2305.01067
ID  - 2305.01067
ER  -