"Contribution a la Definition Interpretive et a l'Implementation des Lambda-Langages", P. Greussay, These d'Etat, U Paris VI, Nov 1977.

Languages mentioned

• Vlisp {1973}