| Title:
|
Theory of types and data description (English) |
| Author:
|
Materna, Pavel |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
14 |
| Issue:
|
5 |
| Year:
|
1978 |
| Pages:
|
(313)-327 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B15 |
| MSC:
|
03B99 |
| MSC:
|
68H05 |
| MSC:
|
68P05 |
| MSC:
|
68T99 |
| idZBL:
|
Zbl 0402.68060 |
| idMR:
|
MR512000 |
| . |
| Date available:
|
2009-09-24T17:03:12Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124277 |
| . |
| Reference:
|
[1] Fr. Ahrens H. Walter: Datenbanksysteme.Gruyter, Berlin-New York 1971. |
| Reference:
|
[2] A. Church: A formulation of the simple theory of types.Journal of Symbolic Logic 5 (1940), 1, 56-68. Zbl 0023.28901, MR 0001931 |
| Reference:
|
[3] T. M. V. Janssen P. van Emde Boas: On the proper treatment of referencing, dereferencing and assignment.Stichting mathematisch centrum, ZW94/77. |
| Reference:
|
[4] S. Kaneff, ed.: Picture language machines.Academic Press 1970. |
| Reference:
|
[5] P. Materna K. Pala: Theoretical framework for syntax and semantics.Celostátní konference o kybernetice, Praha 1976, Sborník prací, 233 - 253. |
| Reference:
|
[6] R. Montague: Universal Grammar.Theoria 36 (1970), 373 - 398. MR 0307873 |
| Reference:
|
[7] R. Narasimhan: Natural Language Behaviour.In [4]. |
| Reference:
|
[8] A. Scheber J. Šturc: Relačný model báz dát.Informačné systémy 1976/3, 281-294. |
| Reference:
|
[9] E. Stenius: Sets.Synthese 27/1, 2 (1974), 161-188. Zbl 0316.02013, MR 0462903 |
| Reference:
|
[10] Bo Sundgren: An Infological Approach to Data Bases.URVAL Nr. 7, Stockholm 1973, 3-478. |
| Reference:
|
[11] P. Tichý: An Approach to Intensional Analysis.Nous K(1971), 3, 273-297. |
| . |
