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 JournalJournal articleResearchpeer-review

    Original languageEnglish
    JournalMathematical Structures in Computer Science
    Volume20
    Issue number4
    Pages (from-to)655-703
    ISSN0960-1295
    Publication statusPublished - 2010

    Cite this