Rewrite systems on a lattice of types

This publication has 8 references indexed in Scilit:

• On the algebraic specification of nondeterministic programming languages
  Published by Springer Nature ,1981
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Abstract data types and software validation
  Communications of the ACM, 1978
• Data types as objects
  Published by Springer Nature ,1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A Search Technique for Clause Interconnectivity Graphs
  IEEE Transactions on Computers, 1976
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• On Theories with a Combinatorial Definition of "Equivalence"
  Annals of Mathematics, 1942