activity
20062026
most citedFirst steps in synthetic guarded domain theory: step-indexing in the topos of trees

79 citations · 142 across the 16 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016

Guarded Dependent Type Theory with Coinductive Types

Aleš Bizjak, Hans Bugge Grathwohl, Ranald Clouston +2

We present guarded dependent type theory, gDTT, an extensional dependent type theory with a `later' modality and clock quantifiers for programming and proving with guarded recursiv…