( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Higher Inductive Types in Cubical Type Theory.

, , и . LICS, стр. 255-264. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Anders Friberg

Anders Behrend

Stefanie Anders

Christoph Anders

Manfred Anders

 

Другие публикации лиц с тем же именем

From Signatures to Monads in UniMath., , и . J. Autom. Reason., 63 (2): 285-318 (2019)Implementing a category-theoretic framework for typed abstract syntax., , и . CPP, стр. 307-323. ACM, (2022)Formalizing π4(S^3) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda., и . CoRR, (2023)Some Wellfounded Trees in UniMath - Extended Abstract., и . ICMS, том 9725 из Lecture Notes in Computer Science, стр. 9-17. Springer, (2016)The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations., , , и . CoRR, (2024)Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II., , и . Math. Struct. Comput. Sci., 31 (4): 361-362 (2021)On Higher Inductive Types in Cubical Type Theory., , и . LICS, стр. 255-264. ACM, (2018)Cubical Agda: A dependently typed programming language with univalence and higher inductive types., , и . J. Funct. Program., (2021)Unifying Cubical Models of Univalent Type Theory., , и . CSL, том 152 из LIPIcs, стр. 14:1-14:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda., и . LICS, стр. 1-13. IEEE, (2023)