Utilisateur·rice

Simon • FOREST
PostDoctorant (Postdoctoral Researcher) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : B203 • Etage du bureau : 1 •

AGLR-LDP (équipe Logique de la Programmation)

Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques : Aucun·e

Publications HAL

2018/07 - Coherence of Gray Categories via Rewriting

2016/01 - Dependent Types and Multi-Monadic Effects in F*


Retour en haut 

Secured By miniOrange