Revised ACT ONE: categorical constructions for an algebraic specification language
Authors:
I. Classen
Affiliations:
-
Venue:
Categorical methods in computer science with aspects from topology
Year:
1989
Citing
0
Cited
1
CASL: the common algebraic specification language
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract