nLab
Laurent Regnier

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.

Selected writings

On differential linear logic:

category: people

Last revised on July 12, 2021 at 10:22:24. See the history of this page for a list of all contributions to it.