How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus.

Rmy Cerda, Lionel Vaux Auclair

Browse the full STACS paper archive.