About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Materna, Pavel
Theory of types and data description. (English). Kybernetika, vol. 14 (1978), issue 5, pp. (313)-327
MSC: 03B15, 03B99, 68H05, 68P05, 68T99 | MR 512000 | Zbl 0402.68060
References:
[1] Fr. Ahrens H. Walter: Datenbanksysteme. Gruyter, Berlin-New York 1971.
[2] A. Church: A formulation of the simple theory of types. Journal of Symbolic Logic 5 (1940), 1, 56-68. MR 0001931 | Zbl 0023.28901
[3] T. M. V. Janssen P. van Emde Boas: On the proper treatment of referencing, dereferencing and assignment. Stichting mathematisch centrum, ZW94/77.
[4] S. Kaneff, ed.: Picture language machines. Academic Press 1970.
[5] P. Materna K. Pala: Theoretical framework for syntax and semantics. Celostátní konference o kybernetice, Praha 1976, Sborník prací, 233 - 253.
[6] R. Montague: Universal Grammar. Theoria 36 (1970), 373 - 398. MR 0307873
[7] R. Narasimhan: Natural Language Behaviour. In [4].
[8] A. Scheber J. Šturc: Relačný model báz dát. Informačné systémy 1976/3, 281-294.
[9] E. Stenius: Sets. Synthese 27/1, 2 (1974), 161-188. MR 0462903 | Zbl 0316.02013
[10] Bo Sundgren: An Infological Approach to Data Bases. URVAL Nr. 7, Stockholm 1973, 3-478.
[11] P. Tichý: An Approach to Intensional Analysis. Nous K(1971), 3, 273-297.
Partner of
EuDML logo