Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

par Federico Olimpieri

Thèse de doctorat en Mathematiques

La soutenance a eu lieu le 27-11-2020

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

Sous la direction de Laurent Regnier et de Lorenzo Tortora de falco.

Thèses en préparation à Aix-Marseille en cotutelle avec l'UNIVERSITA DEGLI STUDI ROMA TRE , dans le cadre de Mathématiques et informatique de Marseille (184) , en partenariat avec Institut de Mathématiques de Marseille (equipe de recherche) depuis le 18-10-2017 .

Pas de résumé en français disponible.

Pas de résumé disponible.