Lionel Vaux Auclair

18 papers A 1B 4Journal 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Extensional Taylor Expansion.
TheoretiCS
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2026 J jnl
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.
CoRR
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2025 A conf
How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus.
STACS
Rémy Cerda, Lionel Vaux Auclair
2025 J jnl
Strategies as Resource Terms, and their Categorical Semantics.
Log. Methods Comput. Sci.
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2025 B conf
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.
FSCD
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2024 B conf
Confluence for Proof-Nets via Parallel Cut Elimination.
LPAR
Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2023 J jnl
Extensional Taylor Expansion.
CoRR
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 J jnl
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications.
Log. Methods Comput. Sci.
Rémy Cerda, Lionel Vaux Auclair
2023 J jnl
How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms.
CoRR
Rémy Cerda, Lionel Vaux Auclair
2023 B conf
Strategies as Resource Terms, and Their Categorical Semantics.
FSCD
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 J jnl
Strategies as Resource Terms, and their Categorical Semantics.
CoRR
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 J jnl
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus.
CoRR
Axel Kerinec, Lionel Vaux Auclair
2022 J jnl
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.
Log. Methods Comput. Sci.
Federico Olimpieri, Lionel Vaux Auclair
2022 J jnl
Taylor Expansion Finitely Simulates Infinitary β-Reduction.
CoRR
Rémy Cerda, Lionel Vaux Auclair
2021 J jnl
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.
Log. Methods Comput. Sci.
Jules Chouquet, Lionel Vaux Auclair
2020 J jnl
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.
CoRR
Federico Olimpieri, Lionel Vaux Auclair
2019 J jnl
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.
CoRR
Jules Chouquet, Lionel Vaux Auclair
2018 B conf
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.
CSL
Jules Chouquet, Lionel Vaux Auclair