General Logics

This publication has 16 references indexed in Scilit:

• Specifications in an arbitrary institution
  Information and Computation, 1988
• The categorical abstract machine
  Science of Computer Programming, 1987
• Linear logic
  Theoretical Computer Science, 1987
• Generalised algebraic theories and contextual categories
  Annals of Pure and Applied Logic, 1986
• Oriented equational clauses as a programming language
  The Journal of Logic Programming, 1984
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• La logique des topos
  The Journal of Symbolic Logic, 1981
• Computing in systems described by equations
  Lecture Notes in Computer Science, 1977
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974
• Adjointness in Foundations
  Dialectica, 1969