• DML-CZ Home

03B15 Higher-order logic and type theory (4 articles)

• 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