Login / Signup
Rémy Cerda
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Decision Making
Reduction Method
Markov Chain
Multiscale
Top Venues
CoRR
Log. Methods Comput. Sci.
</>
Publications
</>
Rémy Cerda
,
Lionel Vaux Auclair
How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms.
CoRR
(2023)
Rémy Cerda
,
Lionel Vaux Auclair
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications.
Log. Methods Comput. Sci.
19 (4) (2023)
Rémy Cerda
,
Lionel Vaux Auclair
Taylor Expansion Finitely Simulates Infinitary β-Reduction.
CoRR
(2022)