![[English flag]](/graphics/flags/aimi_en.png "This Page in English")
![[Contribution à la définition interprétative et à l'implantation des Lambda-Langages, Thèse de Doctorat d'État]](/images/headers/strip.jpg "Contribution à la définition interprétative et à l'implantation des Lambda-Langages, Thèse de Doctorat d'État"){kind=small}
Contribution à la définition interprétative et à l'implantation des Lambda-Langages, Thèse de Doctorat d'État
![[images/covers/vlisp/Greussay.jpg]](/images/covers/vlisp/Greussay.jpg "Voir le document en pdf (taille en Mo : 7,48)")
Novembre 1977, 296 pages 
Patrick Greussay
- Thèse soutenue en novembre 1977
- Jury
- Jacques Arsac
- Maurice Gross
- Gérard Huet
- Robin Milner
- Maurice Nival
- Jean-François Perrot