Step-Indexed Kripke Models over Recursive Worlds

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA
PublisherAssociation for Computing Machinery
Publication dateJan 2011
Publication statusPublished - Jan 2011

ID: 32340217