A categorical unification algorithm

This publication has 13 references indexed in Scilit:

• Electronic category theory
  Published by Springer Nature ,2005
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Synthesis of a unification algorithm in a logic programming calculus
  The Journal of Logic Programming, 1984
• Modules for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• A proposal for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Linear unification
  Journal of Computer and System Sciences, 1978
• Proving program properties, symbolic evaluation and logical procedural semantics
  Published by Springer Nature ,1975
• Categories for the Working Mathematician
  Published by Springer Nature ,1971
• Every standard construction is induced by a pair of adjoint functors
  Proceedings of the American Mathematical Society, 1965