# Category-theoretic models of linear Abadi & Plotkin logic.

Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L.

Theory and Applications of Categories [electronic only] (2008)

- Volume: 20, page 116-151
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topBirkedal, Lars, Møgelberg, Rasmus E., and Petersen, Rasmus L.. "Category-theoretic models of linear Abadi & Plotkin logic.." Theory and Applications of Categories [electronic only] 20 (2008): 116-151. <http://eudml.org/doc/129049>.

@article{Birkedal2008,

author = {Birkedal, Lars, Møgelberg, Rasmus E., Petersen, Rasmus L.},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {parametric polymorphism; categorical semantics; axiomatic domain theory; recursive types; fibrations},

language = {eng},

pages = {116-151},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {Category-theoretic models of linear Abadi & Plotkin logic.},

url = {http://eudml.org/doc/129049},

volume = {20},

year = {2008},

}

TY - JOUR

AU - Birkedal, Lars

AU - Møgelberg, Rasmus E.

AU - Petersen, Rasmus L.

TI - Category-theoretic models of linear Abadi & Plotkin logic.

JO - Theory and Applications of Categories [electronic only]

PY - 2008

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 20

SP - 116

EP - 151

LA - eng

KW - parametric polymorphism; categorical semantics; axiomatic domain theory; recursive types; fibrations

UR - http://eudml.org/doc/129049

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.