Federico • OLIMPIERI
Doctorant (Phd Student) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 232 • Etage du bureau : 2 •
AGLR-LDP (équipe Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Rechercher mots clef :
Denotational semantics Lambda-calculus Linear logic Taylor expansion Intersection types Distributors Smantique dnotationnelle
Thématiques scientifiques :
Aucun·e
Publications HAL
2020/11
-
Intersection Types and Resource Calculi in the Denotational Semantics of Lambda-Calculus