On the Relation between Direct and (0)

by John Reynolds
Venue:Continuation Semantics, 2nd Colloquium on Automata, Languages and Programming, Lecture