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 Journal › Journal article › Research › peer-review

2. Published

   Step-Indexed Kripke Models over Recursive Worlds

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-review

View all (12) »