Lionel Vaux

MaRDI QIDQ2373710zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Taylor expansion, \(\beta\)-reduction and normalization	2020-05-26	Paper
scientific article; zbMATH DE number 7089070 (Why is no real title available?) (available as arXiv preprint)	2019-08-06	Paper
Transport of finiteness structures and applications Mathematical Structures in Computer Science	2018-08-07	Paper
Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms Lecture Notes in Computer Science	2016-06-10	Paper
A non-uniform finitary relational semantics of system \(T\) RAIRO. Theoretical Informatics and Applications	2013-08-13	Paper
The algebraic lambda calculus Mathematical Structures in Computer Science	2009-11-11	Paper
Differential Linear Logic and Polarization Lecture Notes in Computer Science	2009-07-07	Paper
Convolution $\bar\lambda\mu$ -Calculus Lecture Notes in Computer Science	2009-03-10	Paper
On Linear Combinations of λ-Terms Lecture Notes in Computer Science	2008-01-02	Paper
The differential \(\lambda \mu\)-calculus Theoretical Computer Science	2007-07-16	Paper

Research outcomes over time

This page was built for person: Lionel Vaux