View source for Value (computer science)

In computer science, a value is an expression which cannot be evaluated any further (a normal form).

The members of a type are the values of that type.

For example, the expression 1 + 2 is not a value as it can be reduced to the expression 3.

This expression cannot be reduced any further (and is a member of the type Nat) and therefore is a value.

== See Also ==

* [[Variable (computer science)]]

== External Links ==

* [http://en.wikipedia.org/wiki/Value_(computer_science) Value (computer science)] @ Wikipedia