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

by Philippe de Groote
Venue:In LPAR ’94: Proc. 5th International Conference on Logic Programming and Automated Reasoning