- Tytuł:
-
Continuum as a primitive type
Continuum jako typ pierwotny - Autorzy:
- Ambroszkiewicz, S.
- Data publikacji:
- 2015
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
continuum
types
semantics
foundations of Mathematics
teoria typów
podstawy matematyki - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł