Lionel Vaux

Publications acceptées

Transport of finiteness structures and applications: with Christine Tasson.; To appear in Mathematical Structures in Computer Science.; Last modified: 2010-12-30.
A non-uniform finitary relational semantics of system T: Proceedings of FICS 2009, to appear in Theoretical Informatics and Applications.; Extended and updated version of the workshop paper.; Last modified: 2011-01-05.
The algebraic lambda-calculus: Mathematical Structures in Computer Science, Volume 19, issue 05, pp. 1029-1059, DOI:10.1017/S0960129509990089.; Last modified: 2009-05-23.
The differential lambda-mu-calculus: Theoretical Computer Science, Volume 379, Issues 1-2, 12 June 2007, Pages 166-209, DOI:10.1016/j.tcs.2007.02.028.; Last modified: 2006-12-06.

On linear combinations of lambda-terms: Proceedings of RTA 2007, LNCS Volume 4533, June 2007.; Best paper award of RTA 2007.; Slides of my RTA 2007 talk.; Last modified: 2007-02-03.
Convolution lambda-bar-mu-calculus: Proceedings of TLCA 2007, LNCS Volume 4583, June 2007.; Errata.; Slides of my TLCA07 talk.; Last modified: 2007-05-30.
Differential linear logic and polarization: Proceedings of TLCA 2009, LNCS Volume 5608, 2009.; Slides of my TLCA09 talk (the speaker was Michele Pagani).; Last modified: 2009-05-06.

A non-uniform finitary relational semantics of system T: 6th Workshop on Fixed Points in Computer Science, FICS 2009.; Slides of my FICS09 talk.; Last modified: 2009-08-11.

An introduction to ludics: Slides of a tutorial talk for the symposium Rebuilding Logic and Rethinking Language in Interaction terms, affiliated to the 14th CLMPS in Nancy, July 2011.
Introduction à (une introduction à) la ludique: Notes d'exposé, rencontre du projet ANR LOCI, 20 et 21 janvier 2011, CIRM.; Last modified: 2011-01-20.
Primitive recursion in finiteness spaces: Research report, Laboratoire de Mathématiques de l'Université de Savoie, 2009.; Last modified: 2009-05-11.
Lambda-calculus in an algebraic setting: Research report, Institut de Mathématiques de Luminy, 2006.; Last modified: 2006-04-21.
A type system with implicit types: Note, École Normale Supérieure de Lyon, 2004.
A note on an implicit calculus with annotated terms: introducing universal dependent types: Note, École Normale Supérieure de Lyon, 2004.

Quand j'étais petit, j'étais élève de l'ÉNS de Lyon. J'ai effectué trois stages après lesquels j'ai rédigé les rapports suivants:

Étude du λ-calcul différentiel et extension au cas classique: le λμ-calcul différentiel.: Sous la direction de Thomas Ehrhard et Laurent Regnier, Institut de Mathématiques de Luminy, Marseille.; Stage de DEA d'Informatique Fondamentale, ÉNS Lyon/Université Lyon 1.
Un calcul des constructions implicite.: Sous la direction de Thierry Coquand, Göteborgs universitet, Suède.; Stage de Maîtrise d'Informatique, ÉNS Lyon/Université Lyon 1.
Flots circulaires.: Sous la direction d'André Raspaud, LaBRI, Bordeaux.; Stage de Licence d'Informatique, ÉNS Lyon/Université Lyon 1.