Universal algebra in higher types

This publication has 6 references indexed in Scilit:

• On specifications, theories, and models with higher types
  Information and Control, 1986
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1982
• Higher order data types
  International Journal of Parallel Programming, 1980
• Application of Higher-Order Ultraproducts to the Theory of Local Properties in Universal Algebras and Relational Systems
  Proceedings of the London Mathematical Society, 1973
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935