Realisability semantics of parametric polymorphism, general references and recursive types

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Mathematical Structures in Computer Science
Volume	20
Issue number	4
Pages (from-to)	655-703
ISSN	0960-1295
Publication status	Published - 2010

Cite this

@article{d2b3222e9840483db7b9ad488c304f0c,

title = "Realisability semantics of parametric polymorphism, general references and recursive types",

author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",

year = "2010",

language = "English",

volume = "20",

pages = "655--703 ",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Realisability semantics of parametric polymorphism, general references and recursive types

AU - Birkedal, Lars

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

PY - 2010

Y1 - 2010

M3 - Journal article

SN - 0960-1295

VL - 20

SP - 655

EP - 703

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 4

ER -