@misc{indiciae03144b0a0e48,
  title = {Type Theory based on Dependent Inductive and Coinductive Types},
  author = {Henning Basold and Herman Geuvers},
  year = {2016},
  doi = {10.1145/2933575.2934514},
  url = {https://arxiv.org/abs/1605.02206},
  note = {Source identifier: 1605.02206}
}