A fully abstract semantics for a nondeterministic functional language with monadic types (1995)

by Alan Jeffrey
Venue:In Proceedings of the Eleventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XI). Electronic Notes in Theoretical Computer Science