Technical Report TR191:
Reasoning With Continuations. Sym. on Logic in Computer
M. Felleisen, D. P. Friedman, E. Kohlbecker & B. Duba
(Jun 1986)
[Science, Cambridge, MA, (June, 1986), 131--141 [Not Available-TR 215 is a revision of TR 191]]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
