Structuring theories on consequence

This publication has 16 references indexed in Scilit:

• Toward formal development of programs from algebraic specifications: Implementations revisited
  Published by Springer Nature ,1987
• Category Theory and Computer Programming
  Published by Springer Nature ,1986
• On the existence of free models in abstract algebraic institutions
  Theoretical Computer Science, 1985
• Completeness of Proof Systems for Equational Specifications
  IEEE Transactions on Software Engineering, 1985
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Semantical Investigations in Heyting’s Intuitionistic Logic
  Published by Springer Nature ,1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• What is Logic?
  The Journal of Philosophy, 1979
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974
• Rules and Derived Rules
  Published by Springer Nature ,1974