Items where authors include "Sojakova, K"
Up a levelJump to: Article
Number of items: 1.
Article
Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921
Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921