`Travelled to:`

1 × Brazil

2 × France

`Collaborated with:`

∅

`Talks about:`

linear (2) differenti (1) convolut (1) calculus (1) taylor (1) reduct (1) normal (1) lambda (1) expans (1) combin (1)

## Person: Lionel Vaux

### DBLP: Vaux:Lionel

### Contributed to:

### Wrote 4 papers:

- TLCA-2009-Vaux #difference #linear #logic
- Differential Linear Logic and Polarization (LV), pp. 371–385.
- RTA-2007-Vaux #linear #on the
- On Linear Combinations of λ-Terms (LV), pp. 374–388.
- TLCA-2007-Vaux #λ-calculus #μ-calculus
- Convolution λμ-Calculus (LV), pp. 381–395.
- CSL-2017-Vaux #normalisation
- Taylor Expansion, lambda-Reduction and Normalization (LV), p. 16.