What Is Unification?

This publication has 14 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• An algebraic semantics approach to the effective resolution of type equations
  Theoretical Computer Science, 1986
• Unification in many-sorted equational theories
  Published by Springer Nature ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and Theories
  Theoretical Computer Science, 1984
• Algebraic domain equations
  Theoretical Computer Science, 1983
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965