Lionel Vaux

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 6

Top Topics

Relational Structures

Resource Allocation

Relational Schema

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Lionel Vaux
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors. Log. Methods Comput. Sci. 15 (3) (2019)
Christine Tasson, Lionel Vaux
Transport of finiteness structures and applications. Math. Struct. Comput. Sci. 28 (7) (2018)
Lionel Vaux
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors. CoRR (2017)
Lionel Vaux
Taylor Expansion, lambda-Reduction and Normalization. CSL (2017)
Michele Pagani, Christine Tasson, Lionel Vaux
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. CoRR (2016)
Michele Pagani, Christine Tasson, Lionel Vaux
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. FoSSaCS (2016)
Lionel Vaux
A non-uniform finitary relational semantics of system T. RAIRO Theor. Informatics Appl. 47 (1) (2013)
Christine Tasson, Lionel Vaux
Transport of finiteness structures and applications CoRR (2010)
Lionel Vaux
The algebraic lambda calculus. Math. Struct. Comput. Sci. 19 (5) (2009)
Lionel Vaux
Differential Linear Logic and Polarization. TLCA (2009)
Lionel Vaux
A Non-uniform Finitary Relational Semantics of System T. FICS (2009)
Lionel Vaux
The differential lambdamu-calculus. Theor. Comput. Sci. 379 (1-2) (2007)
Lionel Vaux
Convolution λ̅μ-Calculus. TLCA (2007)
Lionel Vaux
-Terms. RTA (2007)