Concepedia

Laurent Régnier

LR

Statistics

Publications

16

Citations

1.2K

H-Index

14

Active since

1989

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Institut de Mathématiques de Marseille

Laboratory Preuves, Programmes et Systèmes

Institut national de recherche en sciences et technologies du numérique

Laurent Régnier is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsMathematical FoundationsFunctional AnalysisGamesBusinessSemanticsGame Design

Publications per year

1989–2008

16

Publications

16

The structure of multiplicatives

Vincent Danos, Laurent Régnier · Archive for Mathematical Logic · 1989 · 344 citations

Mathematical Structure, Abstract Algebra, Algebraic Structure

The differential lambda-calculus

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2003 · 237 citations

Generalized Function, Differential Lambda-calculus, Foundational Calculus +2

Differential interaction nets

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2006 · 109 citations

Artificial Intelligence, Engineering, Interaction Network +5

Game semantics and abstract machines

Vincent Danos, Hugo Herbelin, Laurent Régnier · 2002 · 83 citations

Game Ai, Engineering, Game Theory +17

Uniformity and the Taylor expansion of ordinary lambda-terms

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2008 · 81 citations · Full text

Ordinary Lambda-terms, Engineering, Generalized Function +4

1–5 of 16