Lionel Vaux
From MaRDI portal
Person:2373710
Available identifiers
zbMath Open vaux.lionelMaRDI QIDQ2373710
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Taylor expansion, β-reduction and normalization | 2020-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5227520 | 2019-08-06 | Paper |
Transport of finiteness structures and applications | 2018-08-07 | Paper |
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms | 2016-06-10 | Paper |
A non-uniform finitary relational semantics of system T | 2013-08-13 | Paper |
The algebraic lambda calculus | 2009-11-11 | Paper |
Differential Linear Logic and Polarization | 2009-07-07 | Paper |
Convolution $\bar\lambda\mu$ -Calculus | 2009-03-10 | Paper |
On Linear Combinations of λ-Terms | 2008-01-02 | Paper |
The differential \(\lambda \mu\)-calculus | 2007-07-16 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Lionel Vaux