Lionel Vaux Auclair
26
Documents
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⟩
Communication dans un congrès
hal-04964448
v1
|
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. https://www.dagstuhl.de/dagpub/978-3-95977-374-4, ⟨10.4230/LIPIcs.FSCD.2025.16⟩
Communication dans un congrès
hal-05149336
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-04938978
v1
|
|
|
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
Communication dans un congrès
hal-04515300
v1
|
|
|
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⟩
Communication dans un congrès
hal-04244568
v1
|
|
|
MELL proof-nets in the category of graphs5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271478
v1
|
|
|
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⟩
Communication dans un congrès
hal-01835242
v1
|
|
|
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⟩
Communication dans un congrès
hal-01834329
v1
|
|
|
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
Communication dans un congrès
hal-01292923
v1
|
|
|
A Non-Uniform Finitary Relational Semantics of System T6th Workshop on Fixed Points in Computer Science (FICS'09), Sep 2009, Coimbra, Portugal
Communication dans un congrès
hal-01264690
v1
|
|
|
Differential linear logic and polarizationNinth International Conference on Typed Lambda Calculi and Applications, Jul 2009, Brasília, Brazil. pp.371-385
Communication dans un congrès
hal-00387062
v1
|
|
|
Primitive recursion in finiteness spacesTypes 2009, May 2009, Aussois, France
Communication dans un congrès
hal-00387064
v1
|
|
|
On linear combinations of lambda-terms18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings, Jun 2007, Paris, France. pp.374-388
Communication dans un congrès
hal-00383896
v1
|
|
|
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⟩
Communication dans un congrès
hal-00387063
v1
|
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
Chapitre d'ouvrage
hal-03652486
v1
|
|
|
λ-calcul différentiel et logique classique : interactions calculatoiresLogique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00194149
v5
|
|
|
Sur la syntaxe de la sémantique quantitativeLogique en informatique [cs.LO]. Aix-Marseille Université, 2021
HDR
tel-03515566
v1
|
Chargement...
Chargement...