Bits and pieces of the theory of institutions

This publication has 15 references indexed in Scilit:

• Mathematical Representation of Hierarchically Organized Systems
  Published by S. Karger AG ,2015
• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• On the existence of free models in abstract algebraic institutions
  Theoretical Computer Science, 1985
• Some fundamental algebraic tools for the semantics of computation: Part 2: Signed and abstract theories
  Theoretical Computer Science, 1984
• A proposal for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• Introducing institutions
  Published by Springer Nature ,1984
• Characterizing specification languages which admit initial semantics
  Theoretical Computer Science, 1984
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974