21 citations · 116 across the 21 of their papers we have counts for
1 paper · 1 filter
Henning Basold, Herman Geuvers
We develop a dependent type theory that is based purely on inductive and coinductive types, and the corresponding recursion and corecursion principles. This results in a type theor…