Environments, continuation semantics and indexed categories, in (1997)

by J Power, H Thielecke
Venue:Ito (Eds.), Proceedings TACS’97, number 1281 in LNCS