Aarhus University Seal / Aarhus Universitets segl

Realizability semantics of parametric polymorphism, general references, and recursive types

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Lars Birkedal
  • Kristian Støvring, IT University of Copenhagen, Denmark
  • Jacob Thamsborg, IT University of Copenhagen, Denmark
Original languageEnglish
JournalMathematical Structures in Computer Science
Volume20
Issue4
Pages (from-to)655-703
Number of pages19
ISSN0960-1295
DOIs
Publication statusPublished - 2010
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 82078612