
Kristian Støvring
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (12)
- Published
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Step-Indexed Kripke Models over Recursive Worlds
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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 chapter › Article in proceedings › Research › peer-review
ID: 264776