type-theory

Definition

Type

A type is fundamentally a classification or specification for terms (which can represent values, expressions, programs, proofs, etc.). Terms belonging to the same type share common properties, structure, or behaviour.