Rémy Cerda

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

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