%0 Journal Article
%A Lars Birkedal
%A Rasmus E. Mogelberg
%A Rasmus L. Petersen
%T Category-theoretic models of linear Abadi and Plotkin logic
%J Theory and applications of categories
%D 2008
%P 116-151
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2008_20_a6/
%G en
%F TAC_2008_20_a6