TY  - RPRT
TI  - How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
AU  - Rémy Cerda
AU  - Lionel Vaux Auclair
PY  - 2026
UR  - https://arxiv.org/abs/2305.02785
ID  - 2305.02785
ER  -