Skip to content

Type Theory

Type theory is the study of types.

Types have a cardinality, which is the number of possible values within that type.

References