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

by Alan Jeffrey
Venue:In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science