Algebraic specifications for parametrized data types with minimal parameter and target algebras

This publication has 6 references indexed in Scilit:

• An Analysis of Semantic Models for Algebraic Specifications
  Published by Springer Nature ,1982
• Parameterized data types in algebraic specification languages
  Lecture Notes in Computer Science, 1980
• A characterisation of computable data types by means of a finite equational specification method
  Published by Springer Nature ,1980
• Data type specification
  Published by Association for Computing Machinery (ACM) ,1978
• Data types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Lambda Calculus and Recursion Theory (Preliminary Version)
  Published by Elsevier ,1975