03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B40 Combinatory logic and lambda-calculus (5 articles)
- : Functional representation of preiterative/combinatory formalism. (English). Mathematica Slovaca, vol. 54 (2004), issue 4, pp. 327-335
- : On a logical formalization of natural language. (English). Kybernetika, vol. 26 (1990), issue 4, pp. 327-341
- : Semantic analysis of topic and focus. (English). Kybernetika, vol. 25 (1989), issue 6, pp. 523-532
- : Normal forms in the typed $\lambda$-calculus with tuple types. (English). Kybernetika, vol. 21 (1985), issue 5, pp. 366-381
- : An intensional approach to questions. (English). Kybernetika, vol. 15 (1979), issue 3, pp. (161)-192
Search
Partner of
