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