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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.