enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Coordonnées
Avenue de Luminy, 168, bat. A, 101. 13009 Marseille
federico.olimpieri@univ-amu.fr
Adresse professionnelle
Doctorat
Intitulé : Mathématiques
1ère inscription en thèse :
Septembre 2017 /
3A these 2019
École doctorale :
Mathématiques et Informatique de Marseille
Sujet :
Développement de Taylor et systèmes de types rigides
pour le lambda-calcul.
Directeur de thèse :
LAURENT REGNIER
Co-directeur :
Unité de recherche :
I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :
Master
Intitulé : Master 2
Juin 2017 - Aix-Marseille Université
Langues vivantes
Anglais : C2 - Courant
Français : C2 - Courant
Allemand : A1 - Débutant
Italien : Maternel
Production scientifique
-
"Normalization and Taylor expansion of lambda terms"
HOR Pre-proceedings
2018
Federico Olimpieri
-
"On the Taylor expansion of lambda terms and the groupoid structure of their rigid approximants"
TLLA & Linearity Pre-proceedings
2018
Federico Olimpieri et Lionel Vaux
