Laurent Regnier

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
Uniformity and the Taylor expansion of ordinary lambda-terms Theoretical Computer Science	2008-09-16	Paper
Logical Approaches to Computational Barriers Lecture Notes in Computer Science	2007-04-30	Paper
Differential interaction nets Theoretical Computer Science	2007-01-09	Paper
The differential lambda-calculus Theoretical Computer Science	2004-10-27	Paper
Reversible, irreversible and optimal \(\lambda\)-machines Theoretical Computer Science	2000-08-23	Paper
scientific article; zbMATH DE number 1223612 (Why is no real title available?)	1999-03-18	Paper
scientific article; zbMATH DE number 1231514 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 1086661 (Why is no real title available?)	1998-06-02	Paper
scientific article; zbMATH DE number 786499 (Why is no real title available?)	1995-08-16	Paper
An equivalence between lambda- terms Theoretical Computer Science	1994-06-09	Paper
The structure of multiplicatives Archive for Mathematical Logic	1989-01-01	Paper

Research outcomes over time

This page was built for person: Laurent Regnier