%0 Journal Article
%A Paul Blain Levy
%T Adjunction models for call-by-push-value with stacks
%J Theory and applications of categories
%D 2005
%P 75-110
%V 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2005_14_a4/
%G en
%F TAC_2005_14_a4