Research outputs (33)

1. Published

   Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory

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

2. Published

   Denotational semantics for guarded dependent type theory

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

3. Published

   Galois Connections for Recursive Types

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

View all (33) »

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