Taylor Expansion Finitely Simulates Infinitary β-Reduction. - Rémy Cerda; Lionel Vaux Auclair (CoRR, 2022)

How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms. - Rémy Cerda; Lionel Vaux Auclair (CoRR, 2023)

Finitary Simulation of Infinitary $ beta$-Reduction via Taylor Expansion, and Applications. - Rémy Cerda; Lionel Vaux Auclair (Log. Methods Comput. Sci., 2023)

Taylor Approximation and Infinitary λ-Calculi. (Développement de Taylor et λ-calcul infinitaire). - Rémy Cerda (2024)

Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! - Rémy Cerda; Giulio Manzonetto; Alexis Saurin (FSCD, 2025)

How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus. - Rémy Cerda; Lionel Vaux Auclair (STACS, 2025)