Adjoint à droite local  Admissibilité  Algèbre de Boole  Algèbre homologique  Algèbre homotopique  Algèbre linéaire  Algèbre profinie  Algèbre tensorielle  Algèbres de Koszul  Algèbres initiales  Analyse combinatoire  Arbres non enracinés  Associativité  Auto-modification  Automates à pile d'ordre supérieur  Baire, Espaces de  Catégories  Catégorification  Dualité de Stone  Fibrations  Homotopie  Lambda-calcul  Langages de programmation -- Sémantique  Langages de programmation  Logique  Logique de seuil  Logique informatique  Logique mathématique  Modèles mathématiques  Monoïdes  Sémantique  Sémantique selon la théorie des jeux  Théorie de l'homotopie  Théorie de la démonstration  Théorie des catégories  Théorie des types  

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

A categorical study of spectral dualities

par Axel Osmond sous la direction de Paul-André Melliès et de Mai Gehrke . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 13-12-2021

Asynchronous and relational soundness theorems for concurrent separation logic

par Léo Stefanesco sous la direction de Paul-André Melliès - Université Paris Cité

Informatique

Soutenue le 12-11-2021

From dependent type theory to higher algebraic structures

par Chaitanya Leena Subramaniam sous la direction de Paul-André Melliès - Université Paris Cité

Informatique

Soutenue le 28-09-2021

Continuous reductions on the Scott domain and decomposability conjecture

par Louis Vuilleumier sous la direction de Paul-André Melliès et de Jacques Duparc . - Université Paris Cité

Mathématiques

Soutenue le 29-06-2021

Categorical combinatorics for non-déterministic innocent strategies

par Clément Jacq sous la direction de Paul-André Melliès - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 03-12-2019

Towards a homotopical algebra of dependent types

par Pierre Cagne sous la direction de Paul-André Melliès et de Clemens Berger . - Sorbonne Paris Cité

Informatique. Informatique théorique

Soutenue le 07-12-2018

Semantics of linear logic and higher-order model-checking

par Charles Grellois sous la direction de Paul-André Melliès et de Olivier Serre . - Sorbonne Paris Cité

Informatique

Soutenue en 2016

Une étude fibrationelle des topos de réalisabilité

par Jonas Frey sous la direction de Paul-André Melliès - Paris 7

Informatique

Soutenue en 2013

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

par Samuel Mimram sous la direction de Paul-André Melliès - Paris 7

Informatique

Soutenue en 2008

Modalités de ressources et contrôle en logique tensorielle

par Nicolas Tabareau sous la direction de Paul-André Melliès - Paris 7

Informatique

Soutenue en 2008

Paul-André Melliès a été président de jury des 4 thèses suivantes :

Investigation des catégories finies

par Najwa Ghannoum sous la direction de Carlos Simpson et de Khaled Smaili . - Université Côte d'Azur

Mathématiques

Soutenue le 12-12-2022

Dualité pour le fragment existentiel de la logique du premier ordre sur les mots

par Mehdi Zaïdi sous la direction de Mai Gehrke - Université Côte d'Azur

Mathématiques

Soutenue le 07-11-2022

Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes

par Titouan Carette sous la direction de Emmanuel Jeandel et de Simon Perdrix . - Université de Lorraine

Informatique

Soutenue le 23-11-2021

Reflexive spaces of smooth functions : a logical account of linear partial differential equations

par Marie Kerjean sous la direction de Thomas Ehrhard - Sorbonne Paris Cité

Informatique. Informatique fondamentale

Soutenue le 19-10-2018

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

Investigation des catégories finies

par Najwa Ghannoum sous la direction de Carlos Simpson et de Khaled Smaili . - Université Côte d'Azur

Mathématiques

Soutenue le 12-12-2022

Sémantique lexicale, compositionnalité et coercion. Fondements théoriques des types sémantiques

par William Babonnaud sous la direction de Philippe de Groote - Université de Lorraine

Informatique

Soutenue le 22-11-2022

Dualité pour le fragment existentiel de la logique du premier ordre sur les mots

par Mehdi Zaïdi sous la direction de Mai Gehrke - Université Côte d'Azur

Mathématiques

Soutenue le 07-11-2022

Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes

par Titouan Carette sous la direction de Emmanuel Jeandel et de Simon Perdrix . - Université de Lorraine

Informatique

Soutenue le 23-11-2021

Réécriture de dimension supérieure et cohérence appliquées à la catégorification et la théorie des représentations

par Clément Alleaume sous la direction de Philippe Malbos et de Stéphane Gaussent . - Lyon

Mathématiques

Soutenue le 25-06-2018

Puissance expressive des preuves circulaires

par Jerome Fortier sous la direction de Luigi Santocanale et de Srecko Brlek . - Aix-Marseille

Informatique

Soutenue le 19-12-2014

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

par Aurélien Pardon sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure

Informatique

Soutenue le 07-04-2011

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

Une approche unifiée de la combinatoire du lambda-calcul et des cartes : bijections et propriétés limites

par Alexandros Singh sous la direction de Olivier Bodini et de Noam Zeilberger . - Paris 13

Informatique

Soutenue le 15-11-2022

Quantifiers and duality

par Luca Reggio sous la direction de Mai Gehrke - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018

Catégories et diagrammes de cordes pour les jeux concurrents

par Clovis Eberhart sous la direction de Tom Hirschowitz - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 22-06-2018

Réflexion, calculs et logiques

par Hubert Godfroy sous la direction de Jean-Yves Marion - Université de Lorraine

Informatique

Soutenue le 06-10-2017

Cyclic operads : syntactic, algebraic and categorified aspects

par Jovana Obradović sous la direction de Pierre-Louis Curien - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 01-09-2017

Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus

par Domenico Ruoppolo sous la direction de Stefano Guerrini - Sorbonne Paris Cité

Informatique

Soutenue le 13-12-2016

Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique

par Cyrille Chenavier sous la direction de Yves Guiraud et de Philippe Malbos . - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 09-12-2016

Sur les groupes d’homotopie des sphères en théorie des types homotopiques

par Guillaume Brunerie sous la direction de Carlos Simpson - Nice

Mathématiques

Soutenue le 15-06-2016

The monitoring power of forcing transformations

par Aloïs Brunel sous la direction de Stefano Guerrini et de Damiano Mazza . - Paris 13

Informatique

Soutenue le 27-06-2014

Symmetric dialogue games in the proof theroy of linear logic

par Olivier Delande sous la direction de Dale Miller - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2009