Skip to main content Skip to main navigation


Case Studies of Non-Freely Generated Data Types

Claus Sengler
DFKI, DFKI Research Reports (RR), Vol. 96-06, 1996.


In this report we shall present case studies of different data type specifications for natural numbers, for integers, for finite lists, for finite lists with an additional error element, for finite sets, for binary words, for commutative trees, and for arrays. Furthermore, this report contains a collection of constructive function and predicate specifications, whose recursion orderings are shown to be well-founded.