An abstract monadic semantics for value recursion (0)

by E Moggi, A Sabry
Venue:Informatique Théorique et Applications