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

par Federico Olimpieri

Thèse de doctorat en Mathematiques

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.