Lionel Vaux

16 papers B 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2021 — book
Sur la syntaxe de la sémantique quantitative.
Lionel Vaux
2019 J jnl
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors.
Log. Methods Comput. Sci.
Lionel Vaux
2018 J jnl
Transport of finiteness structures and applications.
Math. Struct. Comput. Sci.
Christine Tasson, Lionel Vaux
2017 J jnl
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors.
CoRR
Lionel Vaux
2017 B conf
Taylor Expansion, lambda-Reduction and Normalization.
CSL
Lionel Vaux
2016 B conf
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.
FoSSaCS
Michele Pagani, Christine Tasson, Lionel Vaux
2016 J jnl
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.
CoRR
Michele Pagani, Christine Tasson, Lionel Vaux
2013 J jnl
A non-uniform finitary relational semantics of system T.
RAIRO Theor. Informatics Appl.
Lionel Vaux
2010 J jnl
Transport of finiteness structures and applications
CoRR
Christine Tasson, Lionel Vaux
2009 — conf
A Non-uniform Finitary Relational Semantics of System T.
FICS
Lionel Vaux
2009 — conf
Differential Linear Logic and Polarization.
TLCA
Lionel Vaux
2009 J jnl
The algebraic lambda calculus.
Math. Struct. Comput. Sci.
Lionel Vaux
2007 — conf
Convolution λ̅μ-Calculus.
TLCA
Lionel Vaux
2007 — conf
On Linear Combinations of
RTA
Lionel Vaux
2007 J jnl
The differential lambdamu-calculus.
Theor. Comput. Sci.
Lionel Vaux
2007 — —
λ-calcul différentiel et logique classique : interactions calculatoires. (Differential λ-calculus and classical logic : their computational interactions).
Lionel Vaux