• DML-CZ Home

18D99 None of the above, but in this section (7 articles)

• Benjamin, Thibaut; Finster, Eric; Mimram, Samuel: Globular weak $\omega$-categories as models of a type theory. (English). Higher Structures, vol. 8 (2024), issue 2, pp. 1-69
• Rumynin, Dmitriy; Taylor, James: Real Representations of $C_2$-Graded Groups: The Linear and Hermitian Theories. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 359-374
• Burešová, Libuše: Über Mengen von Derivationen. II. (German) [On the set o derivations. II]. Archivum Mathematicum, vol. 18 (1982), issue 2, pp. 57-63
• Adámek, Jiří; Strecker, George E.: Construction of Cartesian closed topological hulls. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 2, pp. 235-254
• Adámek, Jiří; Sturm, Teo: On congruence lattices in a category. (English). Czechoslovak Mathematical Journal, vol. 29 (1979), issue 3, pp. 385-395
• Burešová, Libuše: Über Mengen von Derivationen. I. (German) [On the set of derivations. I]. Archivum Mathematicum, vol. 13 (1977), issue 1, pp. 1-12
• Kůrka, Petr: The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657