Document Preview Unavailable

How to play the Accordion. Uniformity and the (non-)conservativity of the linear approximation of the {\lambda}-calculus

Cerda, Rémy; Lionel Vaux Auclair.  arXiv.org, Sep 27, 2024.

You might have access to this document