Continuation Semantics in Typed Lambda-Calculi (1985)

Cached

Download Links

by Albert R. Meyer , Mitchell Wand
Venue:Logics of Programs
Citations:67 - 1 self