@article{GYLTERUD_2018,
    doi = {10.1017/jsl.2017.84},
    url = {https://doi.org/10.1017%2Fjsl.2017.84},
    year = {2018},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {83},
    number = {3},
    pages = {1132--1146},
    author = {H{\AA}KON ROBBESTAD GYLTERUD},
    title = {{FROM} {MULTISETS} {TO} {SETS} {IN} {HOMOTOPY} {TYPE} {THEORY}},
    journal = {The Journal of Symbolic Logic}
}

@article{GYLTERUD_2018, doi = {10.1017/jsl.2017.84}, url = {https://doi.org/10.1017%2Fjsl.2017.84}, year = {2018}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {83}, number = {3}, pages = {1132--1146}, author = {H{\AA}KON ROBBESTAD GYLTERUD}, title = {{FROM} {MULTISETS} {TO} {SETS} {IN} {HOMOTOPY} {TYPE} {THEORY}}, journal = {The Journal of Symbolic Logic} }