|
 |
Last update : november 24, 2011, EL.
|
Institut de Mathématiques de Luminy
| BIBLIOGRAPHIE - Lionel VAUX |
|
Année
|
Publications
|
Files | Type |
| 2011 | Vaux Lionel. A non-uniform finitary relational semantics of system T. Theoretical Informatics and Applications., Proceedings of the 6th Workshop on Fixed Points in Computer Science, FICS 2009, 2011-01-05, to appear. |
ACTI | |
| 2010 | Tasson Christine, Vaux Lionel. Transport of finiteness structures and applications Mathematical Structures in Computer Science, 2010-12-30, to appear. |
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. |
ACTI | |
| Vaux Lionel. The algebraic lambda-calculus. Mathematical Structures in Computer Science, Volume 19, issue 05, pp. 1029-1059, 2009. |
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. |
ACTI | |
| Vaux Lionel. Convolution lambda-bar-mu-calculus. Proceedings of TLCA 2007, LNCS Volume 4583, June 2007. |
ACTI | ||
| Vaux Lionel. The differential lambda-mu-calculus. Theoret. Comput. Sci. 379, no. 1-2, 166--209, June 2007. |
ACL |
|
|
|
Last update : november 24, 2011, EL.
|