Analyse de coût  Analyse de temps  Arbres de Böhm  Axiomatisation de Kozen  Bisimulation  Calcul des séquents  Catégories dérivées  Catégorification  Cohérence  Cohérence  Coinduction  Complexité implicite  Concurrence  Encodages  Equivalences comportementales  Filtrage  Idempotents  Informatique -- Mathématiques  Interopérabilité  Intersection séquentielle  Isomorphisme de Curry-Howard  Lambda-Calcul  Lambda-calcul  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation orientés objet  Logique  Logique d'ordre supérieur  Logique du premier ordre  Logique informatique  Logique linéaire  Logique mathématique  Modèle dénotationnel quantitatif  Mu-calcul  Métaconfluence  Méthode des tableaux  Méthodes formelles  Non-idempotence  Normalisation  Objets  Omega-automates  Optimalité  Paresse  Preuve  Preuve formelle  Preuves circulaire et infinitaires  Prisme  Probabilités  Prototype verification system  Prédicat  Recherche de preuve  Réduction non-productive  Réduction productive  Réécriture  Réécriture de dimension supérieure  Réécriture linéaire  Réécriture, Systèmes de  Satisfiability Modulo Theories  Sous-typage par prédicats  Standardisation  Structure d’événements  Substitution  Superposition  Systèmes de preuve  Systèmes de types  Systèmes de types purs  Sémantique des jeux  Sémantique dénotationnelle  Sémantique opérationelle  Théorie de la démonstration  Théorie des types  Théories équiationnelles  Théorème de Herbrand  Théorèmes -- Démonstration automatique  Typage infinitaire  Types intersection  Types intersections  Types union  Unification  Élimination des coupures  Équations  Équivalence observationelle  

Delia Kesner a rédigé la thèse suivante :


Delia Kesner a dirigé les 7 thèses suivantes :

Informatique
Soutenue en 2003
Thèse soutenue

Substitutions explicites et reecriture de termes

par EDUARDO AUGUSTO BONELLI sous la direction de Delia Kesner - Paris 11

Sciences et techniques
Soutenue en 2001
Thèse soutenue


Delia Kesner a été président de jury des 4 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-04-2018
Thèse soutenue

Delia Kesner a été rapporteur des 3 thèses suivantes :


Delia Kesner a été membre de jury des 3 thèses suivantes :

Informatique. Informatique fondamentale
Soutenue le 27-06-2017
Thèse soutenue
Mathematiques
Soutenue le 08-12-2016
Thèse soutenue