Download citation

Semantics of value recursion for Monadic Input/Output

RAIRO-Theor. Inf. Appl., 36 2 (2002) 155-180
DOI: https://doi.org/10.1051/ita:2002008