( en | de | ru )

 

Disambiguation of "Mörtberg, Anders"

Author of the publication

copydeleteadd this publication to your clipboard
On Higher Inductive Types in Cubical Type Theory.

, , and . LICS, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Anders Friberg

Stefanie Anders

Anders Behrend

Erwin Anders

Horst Anders

 

Other publications of authors with the same name

Implementing a category-theoretic framework for typed abstract syntax., , and . CPP, page 307-323. ACM, (2022)From Signatures to Monads in UniMath., , and . J. Autom. Reason., 63 (2): 285-318 (2019)Some Wellfounded Trees in UniMath - Extended Abstract., and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 9-17. Springer, (2016)Formalizing π4(S^3) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda., and . CoRR, (2023)The category of iterative sets in homotopy type theory and univalent foundations., , , and . Math. Struct. Comput. Sci., 34 (9): 945-970 (2024)On Higher Inductive Types in Cubical Type Theory., , and . LICS, page 255-264. ACM, (2018)Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II., , and . Math. Struct. Comput. Sci., 31 (4): 361-362 (2021)Cubical Agda: A dependently typed programming language with univalence and higher inductive types., , and . J. Funct. Program., (2021)Unifying Cubical Models of Univalent Type Theory., , and . CSL, volume 152 of LIPIcs, page 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., and . LICS, page 1-13. IEEE, (2023)