Aarhus University Seal / Aarhus Universitets segl

Realisability semantics of parametric polymorphism, general references and recursive types

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

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

See relations at Aarhus University Citationformats

ID: 73743277