Introducing institutions

This publication has 29 references indexed in Scilit:

• Initially — Restricting algebraic theories
  Published by Springer Nature ,2005
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1981
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980
• Varieties of ordered algebras
  Journal of Computer and System Sciences, 1976
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974
• Heterogeneous algebras
  Journal of Combinatorial Theory, 1970
• The next 700 programming languages
  Communications of the ACM, 1966
• Algebras with a Scheme of Operators
  Mathematische Nachrichten, 1963
• The Semantic Conception of Truth: and the Foundations of Semantics
  Philosophy and Phenomenological Research, 1944