Les contributions de Robin Milner

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://en.wikipedia.org/wiki/Robin_Milner