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 :

Rechercher mots clef :
    Lambda-calculus Linear logic Linear head reduction Differential lambda-calculus Interaction nets Proof nets Logic

Thématiques scientifiques :
  • 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