• DML-CZ Home

03B15 Higher-order logic and type theory (8 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
• Curien, Pierre-Louis; Ho Thanh, Cédric; Mimram, Samuel: Type theoretical approaches to opetopes. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 80-181
• Christensen, J. Daniel; Opie, Morgan; Rijke, Egbert; Scoccola, Luis: Localization in Homotopy Type Theory. (English). Higher Structures, vol. 4 (2020), issue 1, pp. 1-32
• Buchholtz, Ulrik; Rijke, Egbert: The Cayley-Dickson Construction in Homotopy Type Theory. (English). Higher Structures, vol. 2 (2018), issue 1, pp. 30-41
• Janák, Jaroslav: The calculus of an unnormalized relational model of data. (English). Kybernetika, vol. 20 (1984), issue 3, pp. 231-239
• Materna, Pavel: An intensional approach to questions. (English). Kybernetika, vol. 15 (1979), issue 3, pp. (161)-192
• Bek, Roman; Růžička, Milan: On modelling of large variable systems of higher degree by means of language systems. (English). Kybernetika, vol. 15 (1979), issue 6, pp. (408)-428
• Materna, Pavel: Theory of types and data description. (English). Kybernetika, vol. 14 (1978), issue 5, pp. (313)-327