TY  - JOUR
AU  - Vladimir Voevodsky
TI  - Martin-Löf identity types in C-systems
JO  - Publications Mathématiques de l'IHÉS
PY  - 2023
SP  - 1
EP  - 67
VL  - 138
PB  - Springer International Publishing
PP  - Cham
UR  - https://pmihes.centre-mersenne.org/articles/10.1007/s10240-023-00138-2/
DO  - 10.1007/s10240-023-00138-2
LA  - en
ID  - PMIHES_2023__138__1_0
ER  -