Liste des citations dans Numdam pour : An imperative language based on distributive categories II

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 27 (1993), p. 503-522 / Harvested from Numdam

Katis, P. ; Sabadini, Nicoletta ; Walters, Robert F. C.

Feedback, trace and fixed-point semantics
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002), p. 181-194 / Harvested from Numdam