![[Drapeau français]](/graphics/flags/aimi_fr.png "Cette page en français")
![[Contribution à la définition interprétative et à l'implantation des Lambda-Langages, PhD dissertation]](/images/headers/strip.jpg "Contribution à la définition interprétative et à l'implantation des Lambda-Langages, PhD dissertation"){kind=small}
Contribution à la définition interprétative et à l'implantation des Lambda-Langages, PhD dissertation
![[images/covers/vlisp/Greussay.jpg]](/images/covers/vlisp/Greussay.jpg "See the pdf document (size in MB: 7.48)")
November 1977, 296 pages 
Patrick Greussay
- Thesis defended in November 1977
- Jury
- Jacques Arsac
- Maurice Gross
- Gérard Huet
- Robin Milner
- Maurice Nival
- Jean-François Perrot