Category-theoretic models of linear Abadi & Plotkin logic. Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. — 2008 Theory and Applications of Categories [electronic only]