TY  - RPRT
TI  - From Multisets to Sets in Hotmotopy Type Theory
AU  - Håkon Robbestad Gylterud
PY  - 2016
DO  - 10.1017/jsl.2017.84
UR  - https://arxiv.org/abs/1612.05468
ID  - 1612.05468
ER  -