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

by Philippe de Groote
Venue:In Logic Programming and Automated Reasoning, 5th international conference LPAR’94