Lionel Vaux Auclair

26
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

The algebraic lambda-calculus

Lionel Vaux

Mathematical Structures in Computer Science, 2009, accepted for publication

Article dans une revue hal-00379750v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Primitive recursion in finiteness spaces

Lionel Vaux

Types 2009, May 2009, Aussois, France

Communication dans un congrès hal-00387064v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

λ-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
Deposit thumbnail

Sur la syntaxe de la sémantique quantitative

Lionel Vaux Auclair

Logique en informatique [cs.LO]. Aix-Marseille Université, 2021

HDR tel-03515566v1