- 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
- Previous term: Absolute domain name
- Next term: Abstraction
- Random term: Robots Exclusion Protocol