Utilisateur·rice

Laurent • Regnier
Professeur (PR) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Office : 224 • Office Floor : 2 •

Équipe Logique de la Programmation

User group(s) :

Research keywords :
    Lambda-calculus Linear logic Linear head reduction Differential lambda-calculus Interaction nets Proof nets Logic

User Thematic(s) :
  • Theoretical computer science, computability
  • Logic
  • Discrete mathematics

Publications HAL

2008/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


Retour en haut 

Secured By miniOrange