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