%0 Journal Article
%A Vladimir Voevodsky
%T Martin-Löf identity types in C-systems
%J Publications Mathématiques de l'IHÉS
%D 2023
%P 1-67
%V 138
%I Springer International Publishing
%C Cham
%U https://pmihes.centre-mersenne.org/articles/10.1007/s10240-023-00138-2/
%R 10.1007/s10240-023-00138-2
%G en
%F PMIHES_2023__138__1_0