Membership algebra as a logical framework for equational specification

This publication has 26 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• May I borrow your logic? (Transporting logical structures along maps)
  Theoretical Computer Science, 1997
• Principles of Maude
  Electronic Notes in Theoretical Computer Science, 1996
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
  Mathematical Structures in Computer Science, 1995
• Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
  Information and Computation, 1993
• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• Equational type logic
  Theoretical Computer Science, 1990
• Localisation, spectra and sheaf representation
  Published by Springer Nature ,1979
• Aspects of topoi
  Bulletin of the Australian Mathematical Society, 1972