Statistics
Publications
16
Citations
1.2K
H-Index
14
Active since
1989
Laurent Régnier is an author at Centre National de la Recherche Scientifique specializing in computer science, mathematics, and computing.
Publications per year
1989–2008
16
16
The structure of multiplicatives
Vincent Danos, Laurent Régnier · Archive for Mathematical Logic · 1989 · 347 citations
The differential lambda-calculus
Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2003 · 242 citations
Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2006 · 111 citations
Game semantics and abstract machines
Vincent Danos, Hugo Herbelin, Laurent Régnier · 2002 · 85 citations
1–5 of 16