Characterizing Specification Languages Which Admit Initial Semantics

• Authors:

• Bernd Mahr;Johann A. Makowsky

• Affiliations:

• -;-

• Venue:
• CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
• Year:
• 1983