Lionel Vaux

Publications

Publications acceptées

Journaux

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.

Conférences internationales

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.

Workshops internationaux

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.

Rapports de recherche, notes et prépublications

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.

Rapports de stage

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.

Dernière mise à jour
le 4 octobre 2011.

XHTML et CSS valides?