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

RAIRO. Theoretical Informatics and Applications, Tome 38 (2004) no. 4, pp. 375-400

---