Research outputs (28)

1. Published

   Bisimulation as path type for guarded recursive types

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

2. Published

   Denotational semantics of recursive types in synthetic guarded domain theory

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

3. Published

   The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (28) »

Press (4)

1. NAVNE I NOTER

   Press/Media: Press / Media

2. Millionbevilling fra Villum Fonden til ITU-lektor

   Press/Media: Press / Media

3. HÆDER - NAVNENYT

   Press/Media: Press / Media

View all (4) »

Research Activities (2)

1. Cubical sets

   Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

2. Homotopy type theory seminar

   Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course