1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Maria Emilia Maietti, Pietro Sabelli
Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generat…