Laurent • Regnier
Professeur (PR) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 224 • Etage du bureau : 2 •
Équipe Logique de la Programmation
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
- Informatique théorique, calculabilité
- Logique
- Mathématiques discrètes
Publications HAL
2016/01
-
25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France2008/01
Theoretical Computer Science -
Uniformity and the Taylor expansion of ordinary lambda-terms2006/11
Theoretical Computer Science -
Differential interaction nets2006/06
-
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms2003/12
Theoretical Computer Science -
The differential lambda-calculus2003/01
-
About Translations of Classical Logic into Polarized Linear Logic1997/08
-
Timeless games
