J.C.: On the relation between direct and continuation semant ics, Automa ta , Languages and Programming 2nd Colloquium, University of Saa rbr ucken (1974)

by REYNOLDS
Venue:Lecture Notes in Computer Sc ience 14 , 141—1 56