Algebra categorically

This publication has 16 references indexed in Scilit:

• Recent results on continuous ordered algebras
  Published by Springer Nature ,2006
• Generalised algebraic theories and contextual categories
  Published by Elsevier ,2003
• A kernel language for abstract data types and modules
  Published by Springer Nature ,1984
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984
• Equational partiality
  Algebra universalis, 1983
• Tree constructions of free continuous algebras
  Journal of Computer and System Sciences, 1982
• A uniform approach to inductive posets and inductive closure
  Theoretical Computer Science, 1978
• On order-complete universal algebra and enriched functorial semantics
  Lecture Notes in Computer Science, 1977
• Aspects of topoi
  Bulletin of the Australian Mathematical Society, 1972
• Lokal präsentierbare Kategorien
  Lecture Notes in Mathematics, 1971