Rémy Cerda

According to our database, Rémy Cerda authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Rémy Cerda, Lionel Vaux Auclair

Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten!

Rémy Cerda, Giulio Manzonetto, Alexis Saurin

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

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

Rémy Cerda

PhD thesis, 2024

2023

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications.

Rémy Cerda, Lionel Vaux Auclair

Log. Methods Comput. Sci., 2023

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

2022

Taylor Expansion Finitely Simulates Infinitary β-Reduction.

Rémy Cerda, Lionel Vaux Auclair

CoRR, 2022