Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract).

Chrysafis Hartonas Matthew Hennessy Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). 239-254 1997 conf/csl/1997 CSL db/conf/csl/csl97.html#HartonasH97 http://dx.doi.org/10.1007/BFb0028018