Lionel Vaux

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 EE Lionel Vaux: On Linear Combinations of lambda -Terms. RTA 2007: 374-388

2 EE Lionel Vaux: Convolution [`(l)]m-Calculus. TLCA 2007: 381-395

1 EE Lionel Vaux: The differential lambdamu-calculus. Theor. Comput. Sci. 379(1-2): 166-209 (2007)

2007
3	EE	Lionel Vaux: On Linear Combinations of lambda -Terms. RTA 2007: 374-388
2	EE	Lionel Vaux: Convolution [`(l)]m-Calculus. TLCA 2007: 381-395
1	EE	Lionel Vaux: The differential lambdamu-calculus. Theor. Comput. Sci. 379(1-2): 166-209 (2007)