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