| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431441 | The Journal of Logic and Algebraic Programming | 2007 | 31 Pages |
Abstract
We investigate a free functor construction on arbitrary many-sorted algebras, and the extent to which it solves the problem of finding an initial algebra interpretation for the module algebra of Bergstra, Heering and Klint.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
