Thèse en cours

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)