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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 395-436 / Harvested from Numdam

Bellia, M.

Logic and functional programming by retractions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 271-310 / Harvested from Numdam