Combinateurs catégoriques, algorithmes séquentiels et programmation applicative. Thèse de Doctorat d’Etat, Université Paris 7 (1983)

by P-L Curien