Environments, Continuation Semantics and Indexed Categories (1997)
by
John Power
,
Hayo Thielecke
| Venue: | Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci |
| Citations: | 5 - 1 self |
Document Versions
| Environments, Continuation Semantics and Indexed Categories –John Power, Hayo Thielecke — 1997 — Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci |
