54 citations · 90 across the 12 of their papers we have counts for
1 paper · 2 filters
Vikraman Choudhury, Marcelo Fiore
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free com…