Abstract
We conceive a parametrized data type as a partial functor φ: ALG (∑) --> ALG (Δ),
where Δ is a signature extending ∑ and ALG (∑) is the class of minimal ∑-algebras which
serve as parameters.
We focus attention on one particular method of algebraically specifying parametrized
data types: finite specifications with conditional equations
... read more