Step-Indexed Relational Reasoning for Countable Nondeterminism

Jan Schwinghammer, Lars Birkedal

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

    Original languageEnglish
    Title of host publicationProceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway
    PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
    Publication date2011
    ISBN (Print)978-3-939897-32-3
    Publication statusPublished - 2011

    Cite this