Environments, Continuation Semantics and Indexed Categories (1997)

Cached

Download Links

by John Power , Hayo Thielecke
Venue:Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
Citations:6 - 2 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