Yorgo Chamoun

Une nouvelle approche intégrant la paramétricité interne dans la théorie des types, améliorant la fiabilité.