%0 Journal Article %1 journals/tocl/KrausS15 %A Kraus, Nicolai %A Sattler, Christian %D 2015 %J ACM Trans. Comput. Log. %K %N 2 %P 18:1-18:12 %T Higher Homotopies in a Hierarchy of Univalent Universes. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#KrausS15 %V 16

@article{journals/tocl/KrausS15, added-at = {2023-12-14T16:15:10.000+0100}, author = {Kraus, Nicolai and Sattler, Christian}, biburl = {https://www.bibsonomy.org/bibtex/244950d442c42b2d38a7176a11a19b6ee/admin}, ee = {https://doi.org/10.1145/2729979}, interhash = {f576b79f8dc58ac8223abe4ca02c398a}, intrahash = {44950d442c42b2d38a7176a11a19b6ee}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 2, pages = {18:1-18:12}, timestamp = {2023-12-14T16:15:10.000+0100}, title = {Higher Homotopies in a Hierarchy of Univalent Universes.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#KrausS15}, volume = 16, year = 2015 }