Utilisateur·rice
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-terms
2006/11 Theoretical Computer Science – Differential interaction nets
2006/06 – Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
2003/12 Theoretical Computer Science – The differential lambda-calculus
2003/01 – About Translations of Classical Logic into Polarized Linear Logic
1997/08 – Timeless games
