Research outputs (6)

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

   Guarded recursion in Agda via sized types

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

3. Published

   The Sequent Calculus of Skew Monoidal Categories

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

View all (6) »