Inproceedings,

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

.
LPAR, volume 822 of Lecture Notes in Computer Science, page 31-43. Springer, (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews