Algèbre homotopique  Algèbre linéaire  Algèbre profinie  Algèbre tensorielle  Algèbres initiales  Arbres non enracinés  Auto-modification  Automates à pile d'ordre supérieur  Bifibration de Grothendieck  Bigraphes  Catégorie de modèles  Catégories  Catégories dérivées  Catégories symétriques monoïdales closes  Catégories µ-Bicomplètes  Catégorification  Coalgèbres finales  Cohomologie  Cohérence  Cohérence  Distributions, Théorie des  Dualité de Stone  Déduction  Equivalence observationnelle  Espaces compacts  Espaces vectoriels  Espèces de structures  Fibrations  Forcing  Graphes, Théorie des  Homotopie  Informatique -- Mathématiques  Interpolation uniforme  Isomorphisme de Curry-Howard  Isomorphismes  Lambda-calcul  Lambda-graphes  Langages concurrents  Langages de programmation -- Sémantique  Langages de programmation  Logiciels -- Vérification  Logique  Logique catégorique  Logique de seuil  Logique informatique  Logique intuitionniste  Logique linéaire  Logique linéaire différentielle  Logique mathématique  Logique monadique du second ordre  Mathématiques constructives  Modèle λ-König  Modèles mathématiques  Modèles relationnels probabilistes  Monade de codensité  Monoïdes  Obfuscation  Opérades  Opérades cycliques  Opérateurs de point fixe  Points fixes  Pretopos  Preuves circulaires  Programmation logique  Quantificateurs  Réalisabiblité  Réflexion  Réseaux de preuves  Réécriture de dimension supérieure  Réécriture linéaire  Réécriture, Systèmes de  Semantique relationnelle  Semi-anneaux  Sémantique des langages  Sémantique dénotationnelle  Sémantique selon la théorie des jeux  Sémantiques de jeux  Sémantiques dénotationnelles  Théorie de l'homotopie  Théorie de la démonstration  Théorie des langages  Théorie des types  Théorie des types homotopiques  Théories de Lawvere  Théoris Morris  Théorème de cohérence  Théorème de l’application ouverte  Topologie  Topologie algébrique  Topos  Virologie  Virus informatiques  Élimination des coupures  Λ-calcul non-typé de Church  

Paul-André Melliès a dirigé les 5 thèses suivantes :

Informatique. Informatique théorique
Soutenue le 07-12-2018
Thèse soutenue


Paul-André Melliès a été président de jury de la thèse suivante :


Paul-André Melliès a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 19-12-2014
Thèse soutenue


Paul-André Melliès a été membre de jury des 7 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-09-2018
Thèse soutenue
Informatique
Soutenue le 06-10-2017
Thèse soutenue
Mathématiques. Logique et fondements de l'informatique
Soutenue le 01-09-2017
Thèse soutenue
Informatique
Soutenue le 27-06-2014
Thèse soutenue