previous up next
Go backward to Example
Go up to Top
Go forward to Example
RISC-Linz logo


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(e0, ..., cons(en-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

previous up next