Semantics for core concurrent ml using computation types (1997)

by Alan Jeffrey
Venue:In Higher Order Operational Techniques in Semantics, Proceedings