On the relation between the lambda-mu-calculus and the syntactic theory of sequential control (1994)

by P de Groote
Venue:In LPAR ’94