Geodesic
Theory of types and data description
Kybernetika, Tome 14 (1978) no. 5, pp. 313-327 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B15, 03B99, 68H05, 68P05, 68T99 
@article{KYB_1978_14_5_a0,
     author = {Materna, Pavel},
     title = {Theory of types and data description},
     journal = {Kybernetika},
     pages = {313--327},
     year = {1978},
     volume = {14},
     number = {5},
     mrnumber = {512000},
     zbl = {0402.68060},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1978_14_5_a0/}
}
TY  - JOUR
AU  - Materna, Pavel
TI  - Theory of types and data description
JO  - Kybernetika
PY  - 1978
SP  - 313
EP  - 327
VL  - 14
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/KYB_1978_14_5_a0/
LA  - en
ID  - KYB_1978_14_5_a0
ER  - 
%0 Journal Article
%A Materna, Pavel
%T Theory of types and data description
%J Kybernetika
%D 1978
%P 313-327
%V 14
%N 5
%U http://geodesic.mathdoc.fr/item/KYB_1978_14_5_a0/
%G en
%F KYB_1978_14_5_a0
Materna, Pavel. Theory of types and data description. Kybernetika, Tome 14 (1978) no. 5, pp. 313-327. http://geodesic.mathdoc.fr/item/KYB_1978_14_5_a0/

[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 | Zbl

[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

[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 | Zbl

[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.