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

Novembre 1977, 296 pages  

Patrick Greussay