Valentin • MAESTRACCI
Doctorant (Phd Student) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : • Etage du bureau : 1 •
AGLR-LDP (équipe Logique de la Programmation) / Formation : ENS Paris-Saclay (Informatique 2017-2021)
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
Publications HAL
2020/06
-
Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory