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

by P de Groote
Venue:Proc. 5th Intl. Conf. Logic Programming and Automated Reasoning (LPAR’94), volume 822 of LNCS