Initial and final algebra semantics for data type specifications, two characterization theorems
Publication date
1983
Authors
Bergstra, J.A.
Tucker, J.V.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
