Publication
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint) Tech Report
January 1980 -
January 1980
-
January 1980