7 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Henning Basold
In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well-known that dependent type theories à la Martin-Löf…