Rijke, E., Shulman, M., & Spitters, B. (2020). Modalities in homotopy type theory. Logical methods in computer science, 16, Issue 1, . https://doi.org/10.23638/LMCS-16(1:2)2020
Citace podle Chicago (17th ed.)Rijke, Egbert, Michael Shulman, a Bas Spitters. "Modalities in Homotopy Type Theory." Logical Methods in Computer Science 16, Issue 1 (2020). https://doi.org/10.23638/LMCS-16(1:2)2020.
Citace podle MLA (9th ed.)Rijke, Egbert, et al. "Modalities in Homotopy Type Theory." Logical Methods in Computer Science, vol. 16, Issue 1, 2020, https://doi.org/10.23638/LMCS-16(1:2)2020.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..