On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory (1994)

by P de Groote
Venue:of Sequential Control. LPAR