Higher-order order-sorted algebras

This publication has 10 references indexed in Scilit:

• Parametrization for order-sorted algebraic specification
  Journal of Computer and System Sciences, 1990
• On specifications, theories, and models with higher types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Completeness of Proof Systems for Equational Specifications
  IEEE Transactions on Software Engineering, 1985
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• What is a model of the lambda calculus?
  Information and Control, 1982
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1982
• Higher order data types
  International Journal of Parallel Programming, 1980
• Using category theory to design implicit conversions and generic operators
  Published by Springer Nature ,1980
• Data Types as Lattices
  SIAM Journal on Computing, 1976