A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

Jan Schwinghammer, Lars Birkedal, Kristian Støvring

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

    Original languageEnglish
    Title of host publicationFOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures
    VolumeLNCS 6604
    Publication date2011
    Publication statusPublished - 2011

    Cite this