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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 155-180.

Moggi, Eugenio ;  Sabry, Amr

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

Benton, Nick ;  Hyland, Martin

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 4, pp. 273-299.