@article{PMIHES_2023__138__1_0,
     author = {Vladimir Voevodsky},
     title = {Martin-L\"of identity types in {C-systems}},
     journal = {Publications Math\'ematiques de l'IH\'ES},
     pages = {1--67},
     year = {2023},
     publisher = {Springer International Publishing},
     address = {Cham},
     volume = {138},
     doi = {10.1007/s10240-023-00138-2},
     mrnumber = {4666930},
     zbl = {07780365},
     language = {en},
     url = {https://pmihes.centre-mersenne.org/articles/10.1007/s10240-023-00138-2/}
}