Type systemis a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols).
Type theoryis the formal presentation of a specific type system,[a] and in general type theory is the academic study of type systems.