On the unity of algebra and logic

This publication has 12 references indexed in Scilit:

• Linear logic
  Theoretical Computer Science, 1987
• Cartesian closed categories and typed λ-calculi
  Lecture Notes in Computer Science, 1986
• The Connection between Equivalence of Proofs and Cartesian Closed Categories
  Proceedings of the London Mathematical Society, 1975
• Heterogeneous algebras
  Journal of Combinatorial Theory, 1970
• Deductive systems and categories II. Standard constructions and closed categories
  Lecture Notes in Mathematics, 1969
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
  Proceedings of the National Academy of Sciences, 1964
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963
• Reflexive Homomorphic Relations
  Canadian Mathematical Bulletin, 1960
• The Mathematics of Sentence Structure
  The American Mathematical Monthly, 1958
• Goursats Theorem and the Zassenhaus Lemma
  Canadian Journal of Mathematics, 1958