1 search results - page 1 / 1 » Leftmost Outermost Revisited |
LICS
1994
IEEE
13 years 9 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...