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