1.Previous
3.Next

Cartesian products of types.; Value space and behaviour: A type is a set of values which a variable can possess and a set of functions that one can apply to these values.

The definition in terms of a representation was often done in imperative languages such as ALGOL and Pascal, while the definition in terms of a value space and behaviour was used

1.Previous
3.Next