Liste des citations dans Numdam pour : Logic and functional programming by retractions

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 3, pp. 271-310.

Bellia, M.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 4, pp. 395-436.