<theory, programming> A set of values from which a variable or constant may take its value.
If s and t are types, then so is s -> t. Terms of type s -> t are functions from s to t; that is, give them a term of type s, and they will return a term of type t.
Types supported by most programming languages include integers (usually limited to some range so they will fit in one word of storage), Booleans, real numbers, and characters.
(25 Mar 1995)