Liste des citations dans Numdam pour : Semantics of value recursion for monadic input/output

RAIRO. Theoretical Informatics and Applications, Tome 36 (2002) no. 2, pp. 155-180

---