BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vaux:Lionel

Contributed to:

TLCA 20092009
RTA 20072007
TLCA 20072007
CSL 20172017

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.