| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 6 |      | Christine Tasson, Lionel Vaux: Transport of finiteness structures and applications CoRR abs/1004.3655: (2010) |
| 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) |
| 1 | Christine Tasson | [6] |
Data released under the ODC-BY 1.0 license — See also our legal information page