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 |
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