Research outputs (30)

1. Published

   Modal dependent type theory and dependent right adjoints

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

2. 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

3. Published

   Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

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

View all (30) »

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