Laurent Regnier is a professor in the département de mathématiques de l’UFR Sciences de l’Université d’Aix-Marseille and a researcher in the Groupe scientifique Arithmétique, Géométrie, Logique et Représentations of the Institut de Mathématiques de Marseille.
Thomas Ehrhard, Laurent Regnier: The differential lambda-calculus, Theor. Comput. Sci. 309 1 (2003) 1–41 (doi:10.1016/S0304-3975(03)00392-X)
Thomas Ehrhard, Laurent Regnier: Differential interaction nets, Theor. Comput. Sci. 364 2 (2006) 166–195 (doi:10.1016/j.tcs.2006.08.003)
Last revised on July 12, 2021 at 14:22:24. See the history of this page for a list of all contributions to it.