Utilisateur·rice
Laurent • Regnier
Professeur (PR) • Affiliation : Aix-Marseille Université (AMU)
Location : Luminy • Office : 224 • Office Floor : 2 •
Équipe Logique de la Programmation
User group(s) :
User Thematic(s) :
- Theoretical computer science, computability
- Logic
- Discrete mathematics
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
