C'est un peu lié à mes stages de master, dont vous trouverez les rapports ici:
- Polymorphic type theory and
Uniformity principle
(en anglais).
Un peu de théorie des types de Martin-Löf et de Sémantique dénotationnelle (PER-models).
Stage de Master 1 sous la direction de Tierry Coquand à l'université de Chalmers à Göteborg (Suède). - Vers un système de type pour
le lambda-calcul avec constructeurs
(en franglais).
Typage d'un lambda-cacul modélisant le pattern matching "à la ML".
Stage de Master 2 co-encadré par Alexandre Miquel et Alejandro Ríos à l' Université de Buenos Aires (Argentine).