Stacy E. Finkelstein

Learn More
We propose a new framework for the syntax and semantics of Weak Hereditarily Harrop logic programming with constraints, based on resolution over-categories: ÿnite product categories with canonical structure. Constraint information is directly built-in to the notion of signature via categorical syntax. Many-sorted equational are a special case of the(More)
  • 1