A characterisation of computable data types by means of a finite equational specification method
- 1 January 1980
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On the adequacy of finite equational methods for data type specificationACM SIGPLAN Notices, 1979
- Some definitions for algebraic data type specificationsACM SIGPLAN Notices, 1979
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- CONSTRUCTIVE ALGEBRAS IRussian Mathematical Surveys, 1961