1995], "A fully abstract semantics for a concurrent functional language with monadic types (0)

by A Jeffrey
Venue:in Proceedings of the Tenth IEEE Symposium on Logic in Computer Science