TY  - RPRT
TI  - Guarded Dependent Type Theory with Coinductive Types
AU  - Aleš Bizjak
AU  - Hans Bugge Grathwohl
AU  - Ranald Clouston
AU  - Rasmus E. Møgelberg
AU  - Lars Birkedal
PY  - 2016
UR  - https://arxiv.org/abs/1601.01586
ID  - 1601.01586
ER  -