type
algebraic data type
nominative type system
pigeonhole principle
partitionability
cluster
partitionally
polymorphism
strongly-typed
FAT16
typed
type theory
serialize
antimorphism
record
behavioral subtyping
automorphism
value type
typelessness
partitionary
biter
typing
cluster analysis
primitive
metatheory
pseudobinary
subtheory
reflexiveness
reflexivity
marshal
theorizing
composite type
functor
exotype
structuralism
buddy memory allocation
container
subtyping
supertype
subtype
intertype
Liskov substitution principle
consistency
parity
optional
map
hard disk drive
partitioning
typedef
block
subisotype
enumeration
generic
multipartition
quotition
classificationism
subvariant
repartitioning
casting
group object
initialisation
multidimensional array
partitive
low-level formatting
storage
typa
brattice
endomorphism
systemed
initialization
-ware
set theoretically
repartition
sublogic
typeful
subsubtype
port
epistemology
slot
aspect-oriented
cohesion
ideal-typical
partition function
in principle
abstract
object-based
Yoneda lemma
subobject
set-theoretic
typical
permutability
flavor
urelement
mapping
semicreative
creative
productive
subset classifier
subclass

English words for 'A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)'

As you may have noticed, above you will find words for "A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries