truthiness
event tree
prime implicant
superatomic
monotype
fault tree
cluster analysis
type
coerce
Thue-Morse sequence
subtype
Nemeth
variant
cross-division
cross-classification
typing
polymorphic
genotypification
chain
type-safe
isoallotype
subtypification
genosubtype
haploweb
value type
commonality
antidomain
paratyping
typedef
diplotypic
subtyping
difference gate
Boolean function
value restriction
supertype
strongly-typed
misphenotype
XNOR gate
isoallotypic
casting
positive logic
optional
balanced category
subisotyping
binary
genotyping
Quine-McCluskey algorithm
subhaplotype
denotation