7 citations · 12 across the 6 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…