The Journal of Logic and Algebraic Programming
Volume 74, Issue 1, November–December 2007, Pages 1-31
Piecewise initial algebra semantics
Under an Elsevier user license
open archive
Keywords
Modularization
Initial algebra specification
Module algebra
Free module functor
Symmetric import
Export
Cited by (0)
Copyright © 2007 Elsevier Inc. All rights reserved.