Les contributions de Gérard Huet

autres références

Contribution à la définition interprétative et à l'implantation des Lambda-Langages, Thèse de Doctorat d'État

Autres liens externes :

https://fr.wikipedia.org/wiki/G%C3%A9rard_Huet
https://en.wikipedia.org/wiki/G%C3%A9rard_Huet