Continuation semantics and self-adjointness (1997)

by Hayo Thielecke
Venue:In Proceedings MFPS XIII, Electronic Notes in Theoretical Computer Science