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


Take the domain "List(T)" with functions "length" and "append".

We have for all x in  List(T) and y in  List(T)

length(append(x, y)) = length(x) + length(y)

i.e., "length" is a homomorphism from "List(T)" to N with respect to "append" and +.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next