On the relation between the λµ-calculus and the syntactic theory of sequential control (1994)

by de Groote
Venue:In LPAR’94, LNCS 822