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