# Utilisateur·rice

Lionel • Vaux
Maître de Conférences (MCF H) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 234 • Etage du bureau : 2 •

Groupe AGLR Responsable de l’équipe LdP (Logique de la Programmation)

Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
• Informatique théorique, calculabilité
• Logique
• Mathématiques discrètes

# Publications HAL

2022/01 Logical Methods in Computer Science - On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants

2021/12 Logical Methods in Computer Science - An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

2021/11 - Sur la syntaxe de la sémantique quantitative

2021/06 - MELL proof-nets in the category of graphs

2019/07 Logical Methods in Computer Science - Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors

2018/09 - An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets

2018/08 Mathematical Structures in Computer Science - Transport of finiteness structures and applications

2017/08 - Taylor expansion, β-reduction and normalization

2016/04 - Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms

2013/04 - Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

2009/09 - A Non-Uniform Finitary Relational Semantics of System T

2009/07 - Differential linear logic and polarization

2009/05 - Primitive recursion in finiteness spaces

2009/01 Mathematical Structures in Computer Science - The algebraic lambda-calculus

2007/11 - λ-calcul différentiel et logique classique : interactions calculatoires

2007/06 - Convolution lambda-bar-mu-calculus

2007/06 - On linear combinations of lambda-terms

2007/01 Theoretical Computer Science - The differential lambda-mu-calculus