Liye Guo

Une nouvelle méthode pour analyser des programmes fonctionnels en utilisant des systèmes de réécriture de termes d'ordre supérieur.

Un nouveau cadre pour analyser la terminaison dans les fonctions d'ordre supérieur.