- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Lionel Vaux: Differential Linear Logic and Polarization. TLCA 2009: 371-385 |
| 4 | | Lionel Vaux: The algebraic lambda calculus. Mathematical Structures in Computer Science 19(5): 1029-1059 (2009) |
| 2007 | ||
| 3 | | Lionel Vaux: On Linear Combinations of lambda -Terms. RTA 2007: 374-388 |
| 2 | | Lionel Vaux: Convolution [`(l)]m-Calculus. TLCA 2007: 381-395 |
| 1 | | Lionel Vaux: The differential lambdamu-calculus. Theor. Comput. Sci. 379(1-2): 166-209 (2007) |