Additional Metadata
Persistent URL dx.doi.org/10.1007/3-540-10003-2_61
Conference International Colloquium on Automata, Languages and Programming
Citation
Bergstra, J.A, & Tucker, J.V. (1980). A characterisation of computable data types by means of a finite equational specification method. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 76–90). doi:10.1007/3-540-10003-2_61