Utilisateur·rice

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


Retour en haut 

Secured By miniOrange