×

zbMATH — the first resource for mathematics

Theory of types and data description. (English) Zbl 0402.68060

MSC:
68T99 Artificial intelligence
03B15 Higher-order logic; type theory (MSC2010)
68P05 Data structures
PDF BibTeX XML Cite
Full Text: EuDML
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. · 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. · Zbl 0353.68029
[4] S. Kaneff: 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. · Zbl 0243.02002
[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. · 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.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.