Originalsprog | Engelsk |
---|---|
Tidsskrift | Mathematical Structures in Computer Science |
Vol/bind | 20 |
Udgave nummer | 4 |
Sider (fra-til) | 655-703 |
ISSN | 0960-1295 |
Status | Udgivet - 2010 |
Realisability semantics of parametric polymorphism, general references and recursive types
Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review