Additional Metadata
Persistent URL dx.doi.org/10.1007/3-540-10003-2_61
Conference European Conference on Numerical Mathematics and Advanced Applications
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