Lionel Vaux Auclair
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. | Rmi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2025 | STACS | How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus. | Rmy Cerda, Lionel Vaux Auclair |
| 2024 | LPAR | Confluence for Proof-Nets via Parallel Cut Elimination. | Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2023 | FSCD | Strategies as Resource Terms, and Their Categorical Semantics. | Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair |
| 2018 | CSL | An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. | Jules Chouquet, Lionel Vaux Auclair |