1987
Algebraic specifications for parametrized data types: the case of minimal computable algebras and parameters with equality
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
|
Rodenburg, P. H. (1987). Algebraic specifications for parametrized data types: the case of minimal computable algebras and parameters with equality. In Department of Computer Science [CS] (R 8714). CWI. |
|