Lionel Vaux Auclair
Publications
Publications
|
|
How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), Mar 2025, Jena, Germany. pp.23, ⟨10.4230/LIPIcs.STACS.2025.23⟩ |
|
|
Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.16⟩ |
|
|
Confluence for Proof-Nets via Parallel Cut Elimination25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2024, Balaclava, Mauritius. pp.464-443, ⟨10.29007/vkfn⟩ |
|
|
Sequentialization is as fun as bungee jumping7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023), Jul 2023, Rome Sapienza Universita di Roma, Italy |
|
|
Strategies as Resource Terms, and Their Categorical Semantics8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.13⟩ |
|
|
MELL proof-nets in the category of graphs5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy |
|
|
An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof netsCSL 2018, Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.14⟩ |
|
|
Taylor expansion, β-reduction and normalization26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.39:1--39:16, ⟨10.4230/LIPIcs.CSL.2017.39⟩ |
|
|
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Apr 2016, Eindhoven, Netherlands. pp 408-423 |
|
|
Differential linear logic and polarizationNinth International Conference on Typed Lambda Calculi and Applications, Jul 2009, Brasília, Brazil. pp.371-385 |
|
|
A Non-Uniform Finitary Relational Semantics of System T6th Workshop on Fixed Points in Computer Science (FICS'09), Sep 2009, Coimbra, Portugal |
|
|
Primitive recursion in finiteness spacesTypes 2009, May 2009, Aussois, France |
|
|
On linear combinations of lambda-terms18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings, Jun 2007, Paris, France. pp.374-388 |
|
|
Convolution lambda-bar-mu-calculus8th International Conference onTyped Lambda Calculi and Applications, TLCA 2007, Jun 2007, Paris, France. pp.381-395, ⟨10.1007/978-3-540-73228-0_27⟩ |
Programmes, preuves et fonctions : le ménage à trois de Curry-HowardPhilippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9 |
|
|
λ-calcul différentiel et logique classique : interactions calculatoiresLogique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩ |
|
|
Sur la syntaxe de la sémantique quantitativeLogique en informatique [cs.LO]. Aix-Marseille Université, 2021 |