Piecewise initial algebra semantics (Q2461761)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Piecewise initial algebra semantics |
scientific article |
Statements
Piecewise initial algebra semantics (English)
0 references
21 November 2007
0 references
modularization
0 references
initial algebra specification
0 references
module algebra
0 references
free module functor
0 references
symmetric import
0 references
export
0 references
