bn:03130588n
Noun Concept
Categories: Type theory, Hierarchy, Articles with short description, Systems of formal logic
EN
Type theory  Type  Theory of types  Elementary Theory of the Category of Sets  Equality type
EN
In mathematics, logic, and computer science, a type system is a formal system in which every term has a "type" which defines its meaning and the operations that may be performed on it. Wikipedia
Definitions
Relations
Sources