A characterisation of computable data types by means of a finite equational specification method
J. A. BergstraDepartment of Computer Science, University of Leiden, Wassenaarseweg 80, 2300 RA, LEIDEN, The NetherlandsJohn V. Tucker
1980en
ABI
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 130 references