Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage
/ par Colin Riba, 2007 [thèse]
http://perso.ens-lyon.fr/colin.riba/, 2024-04-16
Information trouvée : Maître de conférences en informatique. Membre du Laboratoire de l'Informatique du
Parallélisme (LIP) à l'ENS de Lyon