- Tytuł:
-
Continuum as a primitive type
Continuum jako typ pierwotny - Autorzy:
- Ambroszkiewicz, S.
- Powiązania:
- https://bibliotekanauki.pl/articles/182603.pdf
- Data publikacji:
- 2015
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
continuum
types
semantics
foundations of Mathematics
teoria typów
podstawy matematyki - Opis:
-
The paper is the revision, extended and full version of the short (6 pages) preliminary presentation of the grounding of the notion of Continuum given in Section 6 of the paper Types and operations ICS PAS Report No. 1030 (also at http://arxiv.org/abs/1501.03043). Here, primitive types (corresponding to the intuitive concept of Continuum) are introduced along with primitive operations, constructors, and relations.
Praca jest znacznym rozszerzeniem i uzupełnieniem Rozdziału 6 pracy Types and operations Prace IPI PAN Nr 1030 (również na http://arxiv.org/abs/1501.03043). Tutaj nowe pierwotne typy (odnoszące się do intuicyjnego pojęcia Continuum) są wprowadzone razem z pierwotnymi operacjami, konstruktorami oraz relacjami. - Źródło:
-
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1034; 1-46
0138-0648 - Pojawia się w:
- Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
- Dostawca treści:
- Biblioteka Nauki
Artykuł