On the relation between direct and continuation semantics (0)

by J C Reynolds
Venue:2nd Colloquium on Automata, Languages, and Programming, Saarbrucken. Springer-Verlag Lecture Notes in Computer Science