Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Daniela Petrisan

a dirigé 1 thèse
a été membre de jury pour 3 thèses

Algèbre de Kleene Algèbre de relations Algèbre profinie Assistants de preuve Automates mathématiques, Théorie des Bisimulation Coalgèbre Distributivité Dualité de Stone Espace compact Hausdorff Espaces compacts Expressions régulières Hausdorff, Compactifications de Interpolation uniforme Langages de programmation -- Sémantique Langages de programmation Langages de programmation fonctionnelle Langages formels Logique intuitionniste Logique mathématique Modèles bicategoriels de la logique linéaire Monade Monade de codensité Pretopos Preuve assistée par ordinateur Quantificateurs Semi-anneaux Stratégies innocentes Sémantique des programmes Sémantique selon la théorie des jeux Théorie des automates Théorie des catégories Théorie des langages Théorème de l’application ouverte Topos

Fullscreen

Algèbre de Kleene Algèbre de relations Algèbre profinie Assistants de preuve Automates mathématiques, Théorie des Bisimulation Coalgèbre Distributivité Dualité de Stone Espace compact Hausdorff Espaces compacts Expressions régulières Hausdorff, Compactifications de Interpolation uniforme Langages de programmation -- Sémantique Langages de programmation Langages de programmation fonctionnelle Langages formels Logique intuitionniste Logique mathématique Modèles bicategoriels de la logique linéaire Monade Monade de codensité Pretopos Preuve assistée par ordinateur Quantificateurs Semi-anneaux Stratégies innocentes Sémantique des programmes Sémantique selon la théorie des jeux Théorie des automates Théorie des catégories Théorie des langages Théorème de l’application ouverte Topos

Daniela Petrisan a dirigé la thèse suivante :

On the compositionality of monads via weak distributive laws

par Alexandre Goy sous la direction de Marc Aiguier et de Daniela Petrisan . - université Paris-Saclay

Informatique

Soutenue le 19-10-2021

Thèse soutenue

Accéder en ligne

Daniela Petrisan a été membre de jury des 3 thèses suivantes :

Categorical combinatorics for non-déterministic innocent strategies

par Clé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

Thèse soutenue

Accéder en ligne

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

Thèse soutenue

Accéder en ligne

Algebras of Relations : from algorithms to formal proofs

par Paul Brunet sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 04-10-2016

Thèse soutenue

Accéder en ligne