@misc{indiciaea5f5396f744a, title = {How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)}, author = {Rémy Cerda and Lionel Vaux Auclair}, year = {2026}, url = {https://arxiv.org/abs/2305.02785}, note = {Source identifier: 2305.02785} }