@article{altenkirch_2021,
    Author = {Altenkirch, Thorsten},
    File = {Martin Hofmann’s Contributions to Type Theory- Groupoids and Univalence - martin-19.pdf},
    Journal = {Mathematical Structures in Computer Science},
    Pages = {1--5},
    Publisher = {Cambridge University Press},
    Title = {Martin Hofmann's contributions to type theory: Groupoids and univalence},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.1017/S0960129520000316},
    date-added = {2021-08-02 09:15:24 +0200},
    date-modified = {2021-08-02 09:15:24 +0200},
    doi = {10.1017/S0960129520000316}
}

@article{altenkirch_2021, Author = {Altenkirch, Thorsten}, File = {Martin Hofmann’s Contributions to Type Theory- Groupoids and Univalence - martin-19.pdf}, Journal = {Mathematical Structures in Computer Science}, Pages = {1--5}, Publisher = {Cambridge University Press}, Title = {Martin Hofmann's contributions to type theory: Groupoids and univalence}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.1017/S0960129520000316}, date-added = {2021-08-02 09:15:24 +0200}, date-modified = {2021-08-02 09:15:24 +0200}, doi = {10.1017/S0960129520000316} }