Call-by-push-value: A subsuming paradigm (0)

by Paul Blain Levy
Venue:In Girard [Gir99