Henning Basold, Herman Geuvers: Type Theory based on Dependent Inductive and Coinductive Types. LICS 2016: 327-336