and Hayo Thielecke. Environments, continuation semantics and indexed categories (1997)

by John Power
Venue:In Proc. TACS