Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language

• Authors:

• Ingo Claßen

• Affiliations:

• -

• Venue:
• Workshop on Categorial Methods in Computer Science: With Aspects from Topology
• Year:
• 1988