Sattler, C. (2015). On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.
Chicago Style (17th ed.) CitationSattler, Christian. On the Complexities of Polymorphic Stream Equation Systems, Isomorphism of Finitary Inductive Types, and Higher Homotopies in Univalent Universes. 2015.
MLA (9th ed.) CitationSattler, Christian. On the Complexities of Polymorphic Stream Equation Systems, Isomorphism of Finitary Inductive Types, and Higher Homotopies in Univalent Universes. 2015.
Warning: These citations may not always be 100% accurate.