Multiparadigm logic programming

This publication has 54 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• Generalised algebraic theories and contextual categories
  Published by Elsevier ,2003
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• The categorical abstract machine
  Science of Computer Programming, 1987
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Oriented equational clauses as a programming language
  The Journal of Logic Programming, 1984
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• Completeness theorem for logical categories
  Published by Springer Nature ,1975