@article{Grayson_2018,
    doi = {10.1090/bull/1616},
    url = {https://doi.org/10.1090%2Fbull%2F1616},
    year = {2018},
    month = {mar},
    publisher = {American Mathematical Society ({AMS})},
    volume = {55},
    number = {4},
    pages = {427--450},
    author = {Daniel Grayson},
    title = {An introduction to univalent foundations for mathematicians},
    journal = {Bulletin of the American Mathematical Society}
}

@article{Grayson_2018, doi = {10.1090/bull/1616}, url = {https://doi.org/10.1090%2Fbull%2F1616}, year = {2018}, month = {mar}, publisher = {American Mathematical Society ({AMS})}, volume = {55}, number = {4}, pages = {427--450}, author = {Daniel Grayson}, title = {An introduction to univalent foundations for mathematicians}, journal = {Bulletin of the American Mathematical Society} }