On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.

Philippe de Groote

Browse the full LPAR paper archive.