A characterization of computable data types by means of a finite, equational specification mehod
Publication date
1980
Authors
Bergstra, J.A.
Tucker, J.V.
Editors
Advisors
Supervisors
DOI
Document Type
Article in proceedings
Metadata
Show full item recordCollections
