A value of a signal is an infinite sequence of values of a given type. For example,
0;1;0;1;...
is a sequence of type boolean (of course, it is also an integer sequence).
Normally, we interpreted this sequence as being a sequence of values
occurring over time, although this interpretation is not necessary.