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
