Cohesion, Linear Logic, and Differentiation
SCHROEDER Quentin
Directeur(s)
Jonas FREY,
Damiano MAZZA
Date de début2025-09-01
Limites des modalités gradées
LAURE Thomas
Directeur(s)
Flavien BREUVART,
Micaela MAYERO
Date de début2025-09-01
Integrating Proof Production in Cylindrical Algebraic
Decomposition
MASCARENHAS Tomaz
Directeur(s)
Micaela MAYERO,
Haniel BARBOSA
Date de début2025-03-03
Logique Linéaire Différentielle et Théorie des Types
KOLEILAT Jad
Directeur(s)
Marie KERJEAN,
Stefano GUERRINI
Date de début2024-09-01
Algorithms, data, and logic
MOSCA Caterina
Directeur(s)
Thomas SEILLER
Date de début2024-09-01
Modèles de calcul(s)
LAGHJICHI Yasmine
Directeur(s)
Thomas SEILLER
Date de début2023-10-01
Géométrie de l’Interaction Différentielle et Développement de Taylor
CATOZI Stefano
Directeur(s)
Stefano GUERRINI
Date de début2023-09-01
Leçons de la syntaxe transcendantale: nouveaux réseaux et complexité
RAGOT Adrien
Directeur(s)
Stefano GUERRINI,
Thomas SEILLER
Date de début2022-10-01
Indexer la logique linéaire par des opérateurs différentiels
MIRWASSER Simon
Directeur(s)
Marie KERJEAN,
Stefano GUERRINI
Date de début2022-09-01