- A mathematical model for data types, where a data type is defined by its behavior (semantics) from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. ← Wikipedia
- More about this term (beta): Web search, articles and videos, books
- Previous term: Absolute domain name
- Next term: Abstraction
- Random term: Active redundancy