Swinging data types

This publication has 35 references indexed in Scilit:

• Behavioural and abstractor specifications
  Science of Computer Programming, 1995
• Behavioural theories
  Published by Springer Nature ,1995
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• Top-down design and the algebra of communicating processes
  Science of Computer Programming, 1985
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Varieties of ordered algebras
  Journal of Computer and System Sciences, 1976
• Another recursion induction principle
  Communications of the ACM, 1971