Step-Indexed Kripke Models over Recursive Worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Junker Thamsborg, Hongseok Yang

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

    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

    Cite this