Go backward to Example
Go up to Top
Go forward to Example

Example

For every set T, the set List(T) is defined by

nil in List(T),

forall e in T, l in List(T): cons(e, l) in List(T).

with constructors nil and cons.

Every element of List(T) is of the form

cons(e₀, ..., cons(e_n-1, nil)),

e.g. the list [2, 3] in List(N) is denoted by cons(2, cons(3, nil)).

Author: Wolfgang Schreiner
Last Modification: November 24, 1999