Lionel Vaux Auclair

Publications

Article dans une revue (9)

Strategies as Resource Terms, and their Categorical Semantics Lison Blondeau-Patissier,Pierre Clairambault,Lionel Vaux Auclair Logical Methods in Computer Science, 2025, 21 (4), ⟨10.46298/lmcs-21(4:9)2025⟩ Article dans une revue hal-05383171v1
Finitary Simulation of Infinitary β-Reduction via Taylor Expansion, and Applications Rémy Cerda,Lionel Vaux Auclair Logical Methods in Computer Science, 2023, 19 (4), pp.34. ⟨10.46298/lmcs-19(4:34)2023⟩ Article dans une revue hal-04357092v1
On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants Lionel Vaux,Federico Olimpieri Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:1)2022⟩ Article dans une revue hal-03517406v1
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets Jules Chouquet,Lionel Vaux Logical Methods in Computer Science, 2021, Volume 17, Issue 4, ⟨10.46298/lmcs-17(4:22)2021⟩ Article dans une revue hal-03517397v1
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors Lionel Vaux Logical Methods in Computer Science, 2019, 15 (3), ⟨10.23638/LMCS-15(3:9)2019⟩ Article dans une revue hal-02502252v1
Transport of finiteness structures and applications Christine Tasson,Lionel Vaux Mathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000384⟩ Article dans une revue hal-00475004v2
A non-uniform finitary relational semantics of System T Lionel Vaux RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2013, 6th Workshop on Fixed Points in Computer Science (FICS'09), 47 (1), pp.111 - 132. ⟨10.1051/ita/2012031⟩ Article dans une revue hal-01264669v1
The algebraic lambda-calculus Lionel Vaux Mathematical Structures in Computer Science, 2009, accepted for publication Article dans une revue hal-00379750v1
The differential lambda-mu-calculus Lionel Vaux Theoretical Computer Science, 2007, 379 (1-2), pp.166-209. ⟨10.1016/j.tcs.2007.02.028⟩ Article dans une revue hal-00349304v1

Communication dans un congrès (14)

How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus Rémy Cerda,Lionel Vaux Auclair 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), Mar 2025, Jena, Germany. pp.23, ⟨10.4230/LIPIcs.STACS.2025.23⟩ Communication dans un congrès hal-04964448v1
Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic Rémi Di Guardia,Olivier Laurent,Lorenzo Tortora de Falco,Lionel Vaux Auclair 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.16⟩ Communication dans un congrès hal-05149336v1
Confluence for Proof-Nets via Parallel Cut Elimination Giulio Guerrieri,Giulia Manara,Lorenzo Tortora de Falco,Lionel Vaux Auclair 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2024, Balaclava, Mauritius. pp.464-443, ⟨10.29007/vkfn⟩ Communication dans un congrès hal-04938978v1
Sequentialization is as fun as bungee jumping Rémi Di Guardia,Olivier Laurent,Lionel Vaux,Lorenzo Tortora de Falco 7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023), Jul 2023, Rome Sapienza Universita di Roma, Italy Communication dans un congrès hal-04515300v1
Strategies as Resource Terms, and Their Categorical Semantics Lison Blondeau-Patissier,Pierre Clairambault,Lionel Vaux Auclair 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.13⟩ Communication dans un congrès hal-04244568v1
MELL proof-nets in the category of graphs Giulio Guerrieri,Giulia Manara,Luc Pellissier,Lorenzo Tortora de Falco,Lionel Vaux Auclair 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy Communication dans un congrès lirmm-03271478v1
An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets Jules Chouquet,Lionel Vaux CSL 2018, Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.14⟩ Communication dans un congrès hal-01835242v1
Taylor expansion, β-reduction and normalization Lionel Vaux 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.39:1--39:16, ⟨10.4230/LIPIcs.CSL.2017.39⟩ Communication dans un congrès hal-01834329v1
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms Michele Pagani,Christine Tasson,Lionel Vaux 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Apr 2016, Eindhoven, Netherlands. pp 408-423 Communication dans un congrès hal-01292923v1
Differential linear logic and polarization Lionel Vaux Ninth International Conference on Typed Lambda Calculi and Applications, Jul 2009, Brasília, Brazil. pp.371-385 Communication dans un congrès hal-00387062v1
A Non-Uniform Finitary Relational Semantics of System T Lionel Vaux 6th Workshop on Fixed Points in Computer Science (FICS'09), Sep 2009, Coimbra, Portugal Communication dans un congrès hal-01264690v1
Primitive recursion in finiteness spaces Lionel Vaux Types 2009, May 2009, Aussois, France Communication dans un congrès hal-00387064v1
On linear combinations of lambda-terms Lionel Vaux 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings, Jun 2007, Paris, France. pp.374-388 Communication dans un congrès hal-00383896v1
Convolution lambda-bar-mu-calculus Lionel Vaux 8th International Conference onTyped Lambda Calculi and Applications, TLCA 2007, Jun 2007, Paris, France. pp.381-395, ⟨10.1007/978-3-540-73228-0_27⟩ Communication dans un congrès hal-00387063v1

Chapitre d'ouvrage (1)

Programmes, preuves et fonctions : le ménage à trois de Curry-Howard Emmanuel Beffara,Lionel Vaux Philippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9 Chapitre d'ouvrage hal-03652486v1

Thèse (1)

λ-calcul différentiel et logique classique : interactions calculatoires Lionel Vaux Logique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩ Thèse tel-00194149v5

HDR (1)

Sur la syntaxe de la sémantique quantitative Lionel Vaux Auclair Logique en informatique [cs.LO]. Aix-Marseille Université, 2021 HDR tel-03515566v1