Utilisateur·rice

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

AGLR-LDP (équipe Logique de la Programmation)

Groupe(s) scientifiques(s) de l'utilisateur :

Rechercher mots clef :
    Lambda-calculus Denotational semantics Lambda-bar-mu-calculus Linear logic Polarization Classical logic Differential linear logic

Thématiques scientifiques :
  • Theoretical computer science, computability
  • Logic
  • Discrete mathematics

Publications HAL

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

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

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

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


Retour en haut 

Secured By miniOrange