Aarhus University Seal / Aarhus Universitets segl

Logical Step-Indexed Logical Relations

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USA
PublisherIEEE Computer Society Press
Publication year2009
Publication statusPublished - 2009
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743595