typing
metatype
typification
quintessence
sort
cardinality
type system
concept
generic type
instantiation
typology
stamp
abstraction
abstract type
breed
eidos
deployment
object-oriented programming
many-sorted logic
autocategorization
subkind
quasivariety
topotype
categorization
autocategorisation
Apus
Hindley-Milner type system
typeability
variosity
genus Apus
compositor
bicategory
cladification
multicategory
distribution
name-based type system
nominal type system
model
nominative type system
generic programming
hom-set
principal part
typography
setter
functor
copy