Type Theory based on Dependent Inductive and Coinductive Types.

Henning Basold, Herman Geuvers

Browse the full LICS paper archive.