ITU
Kristian Støvring

Kristian Støvring

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (12)

  1. Published

    First steps in synthetic guarded domain theory: step-indexing in the topos of trees

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    Step-Indexed Kripke Models over Recursive Worlds

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

  3. Published

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

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

View all (12) »

Recent activities and conferences

ID: 264776