Abstract
This paper is concerned with automatic implementation of final algebras. The result states that it is possible under the condition that there is an effective procedure generating all mutually nonequivalent (in the specified algebra) terms.
Get full access to this article
View all access options for this article.