A Game Semantics of Linearly Used Continuations (2002)

Cached

Download Links

by J. Laird
Venue:FoSSaCs’03, LNCS 2620, 313–327
Citations:6 - 0 self