Categorical Models of Abadi-Plotkin's logic for parametricity

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

Original languageEnglish
JournalMathematical Structures in Computer Science
Volume15
Issue4
Pages (from-to)709-772
ISSN0960-1295
Publication statusPublished - 2005
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743238