Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Lionel VAUX


Année
Publications
Files Type
2013

Vaux Lionel.
A non-uniform finitary relational semantics of system T.
Proceedings of the 6th Workshop on Fixed Points in Computer Science, FICS2009, RAIRO - Theoretical Informatics and Applications, Volume 47, Issue 01, pp 111--132, january 2013.

PDF ACTI
2010 Tasson Christine, Vaux Lionel.
Transport of finiteness structures and applications
Mathematical Structures in Computer Science, 2010-12-30, to appear.
PDF ACL
2009 Vaux Lionel.
Differential linear logic and polarization
Typed lambda calculi and applications, 371–385, Lecture Notes in Comput. Sci., 5608, Springer, Berlin, 2009.
PDF ACTI
  Vaux Lionel.
The algebraic lambda-calculus.
Mathematical Structures in Computer Science, Volume 19, issue 05, pp. 1029-1059, 2009.
PDF ACL
2007 Vaux Lionel.
On linear combinations of lambda-terms.
Proceedings of RTA 2007, LNCS Volume 4533 (Best paper award of RTA 2007), June 2007.
PDF ACTI
  Vaux Lionel.
Convolution lambda-bar-mu-calculus.
Proceedings of TLCA 2007, LNCS Volume 4583, June 2007.
PDF ACTI
  Vaux Lionel.
The differential lambda-mu-calculus.
Theoret. Comput. Sci. 379, no. 1-2, 166--209, June 2007.
PDF ACL

 

 

 

 

 

 



Last update : april 29, 2013, EL.