Research outputs (5)

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

2. Published

   What makes guarded types tick?

   Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

3. Published

   The Independence of Markov's Principle in Type Theory

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

View all (5) »