ITU

Realisability semantics of parametric polymorphism, general references and recursive types

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View graph of relations

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

ID: 31646543