Recherche Avancée

Thèse en cours

Separability and injectivity in linear logic

FR
Auteur / Autrice : Raffaele Di donna
Direction : Antonio Bucciarelli, Lorenzo Tortora de falco
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 18/09/2022
Etablissement(s) : Université Paris Cité en cotutelle avec UNIVERSITA DEGLI STUDI ROMA TRE
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)