Algèbre  Algèbres implicatives  Algèbres initiales  Appel-par-pousse-valeur  Arbres de Böhm  Assistants de preuve  Automates à pile d'ordre supérieur  Axiomes du choix dépendant  Bigraphes  Bisimulation  Boole, Algèbre de  Catégories symétriques monoïdales closes  Catégories µ-Bicomplètes  Coalgèbres finales  Coinduction  Combinaisons  Combinatoire  Concurrence  Contenu calculatoire de preuves classiques  Déduction  Développement de Taylor  Effets de bord  Evaluation paresseuse  Extensions de groupes  Extraction de programme  Foncteurs polynomiaux  Fonctions récursives -- Informatique  Forcing  Géométrie  Géométrie de l'interaction  Idempotents  Informatique -- Mathématiques  Interaction homme-ordinateur  Intersection séquentielle  Isomorphisme de Curry-Howard  Jeu  Lambda-Calcul  Lambda-Calcul algébrique  Lambda-Calcul avec ressources  Lambda-Calcul différentiel  Lambda-Calcul probabiliste  Lambda-calcul  Lambda-graphes  Langages de programmation  Logique  Logique catégorique  Logique de seuil  Logique informatique  Logique linéaire  Logique linéaire indexée  Logique mathématique  L’encodage des références  ML  Méthode de Howe  Nombres réels  Non-idempotence  Normalisation  Point fixe, Théorème du  Points fixes  Preuves circulaires  Probabilités  Programmation fonctionnelle  Préfaisceaux  Réalisabilité  Réalisabilité classique  Réduction non-productive  Réduction productive  Réseaux  Réseaux de preuve  Réseaux de preuves  Standardisation  Sémantique  Sémantique dénotationnelle  Sémantique opérationelle  Sémantique opérationnelle  Sémantique selon la théorie des jeux  Théorie de la beta-Réduction  Théorie de la définissabilité  Théorie de la démonstration  Théorie des types  Théories de Lawvere  Théories non linéaires  Théories équiationnelles  Topologie  Traitement réparti  Typage infinitaire  Types de données inductifs  Types dépendants  Types intersections  Types union  Uniformité  Élimination des coupures  Équivalence de termes  Équivalence observationelle  Λ-Calcul  

Laurent Régnier a rédigé la thèse suivante :

Mathématiques
Soutenue en 1992
Thèse soutenue


Laurent Régnier a dirigé les 8 thèses suivantes :

Mathematiques
Soutenue le 08-12-2016
Thèse soutenue

Mathématiques discrètes et fondements de l'informatiqueMathématiques discrètes et fondements de l'informatique
Soutenue en 2006
Thèse soutenue


Laurent Régnier a été président de jury des 4 thèses suivantes :

Informatique. Informatique fondamentale
Soutenue le 25-09-2018
Thèse soutenue

Laurent Régnier a été rapporteur des 4 thèses suivantes :

Informatique. Informatique fondamentale
Soutenue le 17-11-2017
Thèse soutenue


Laurent Régnier a été membre de jury des 4 thèses suivantes :

Informatique
Soutenue le 19-12-2014
Thèse soutenue
Mathématiques et Informatique
Soutenue le 23-10-2013
Thèse soutenue