Lionel Vaux Auclair

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Cut Elimination

Sequent Calculi

Proof Theoretic

Natural Deduction

Top Venues

Log. Methods Comput. Sci.

Publications

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR (2024)
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Strategies as Resource Terms, and Their Categorical Semantics. FSCD (2023)
Axel Kerinec, Lionel Vaux Auclair
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus. CoRR (2023)
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Strategies as Resource Terms, and their Categorical Semantics. CoRR (2023)
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Extensional Taylor Expansion. CoRR (2023)
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)
Federico Olimpieri, Lionel Vaux Auclair
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. Log. Methods Comput. Sci. 18 (1) (2022)
Rémy Cerda, Lionel Vaux Auclair
Taylor Expansion Finitely Simulates Infinitary β-Reduction. CoRR (2022)
Jules Chouquet, Lionel Vaux Auclair
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. Log. Methods Comput. Sci. 17 (4) (2021)
Federico Olimpieri, Lionel Vaux Auclair
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. CoRR (2020)
Jules Chouquet, Lionel Vaux Auclair
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. CoRR (2019)
Jules Chouquet, Lionel Vaux Auclair
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. CSL (2018)