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

2023/04 - Notes: suites de Farey, fractions continues, arbres de Stern-Brocot, Calkin-Wilf, arbre dyadique, fonction de Minkowski

2016/01 - 25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France

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