7 citations · 14 across the 5 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016★ 5 cited
From Multisets to Sets in Hotmotopy Type Theory
Håkon Robbestad Gylterud
We give a model of set theory based on multisets in homotopy type theory. The equality of the model is the identity type. The underlying type of iterative sets can be formulated in…
math.LO2016★ 7 cited
Multisets in Type Theory
Håkon Robbestad Gylterud
A multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset.…