Laurent Regnier

Available identifiers

zbMath Open regnier.laurentMaRDI QIDQ944385

List of research outcomes

Publication	Date of Publication	Type
Uniformity and the Taylor expansion of ordinary lambda-terms	2008-09-16	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Differential interaction nets	2007-01-09	Paper
The differential lambda-calculus	2004-10-27	Paper
Reversible, irreversible and optimal \(\lambda\)-machines	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4218922	1999-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4222826	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4362911	1998-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4842980	1995-08-16	Paper
An equivalence between lambda- terms	1994-06-09	Paper
The structure of multiplicatives	1989-01-01	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: Laurent Regnier