Grothendieck topoi, forcing, and classical realizability
FR
Auteur / Autrice : | Miriam Marzaioli |
Direction : | Cristina Sirangelo |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 03/11/2023 |
Etablissement(s) : | Université Paris Cité |
Ecole(s) doctorale(s) : | 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE |
Partenaire(s) de recherche : | Equipe de recherche : UMR 8243 Institut de Recherche en Informatique Fondamentale (IRIF) |