5 citations · 11 across the 11 of their papers we have counts for
1 paper · 2 filters
Jacopo Emmenegger
We present a construction of W-types in the setoid model of extensional Martin-Löf type theory using dependent W-types in the underlying intensional theory. More precisely, we prov…