Go backward to Example
Go up to Top
Go forward to Example
For every set T, the set List(T) is defined by
with constructors nil and cons.
nil in List(T), forall e in T, l in List(T): cons(e, l) in List(T).
Every element of List(T) is of the form
cons(e0, ..., cons(en-1, nil)),e.g. the list [2, 3] in List(N) is denoted by cons(2, cons(3, nil)).