Liste des citations dans Numdam pour : An abstract monadic semantics for value recursion

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 38 (2004) no. 4, pp. 375-400.

---