Federico Olimpieri
Ph.D. Università degli Studi di Roma Tre and Aix-Marseille Université 2020
Dissertation:
Intersection types and ressource calculi in the denotational semantics of lambda-calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Laurent Regnier
Advisor 2: Lionel Vaux
Advisor 3: Lorenzo Tortora de Falco
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 301069 for the advisor ID.