Piecewise initial algebra semantics

https://doi.org/10.1016/j.jlap.2007.03.001Get rights and content
Under an Elsevier user license
open archive

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.

Keywords

Modularization
Initial algebra specification
Module algebra
Free module functor
Symmetric import
Export

Cited by (0)