Adjunction models for call-by-push-value with stacks. Levy, Paul Blain — 2005 Theory and Applications of Categories [electronic only]