TY  - RPRT
TI  - Type Theory based on Dependent Inductive and Coinductive Types
AU  - Henning Basold
AU  - Herman Geuvers
PY  - 2016
DO  - 10.1145/2933575.2934514
UR  - https://arxiv.org/abs/1605.02206
ID  - 1605.02206
ER  -