-Algebras

Claus Hintermeier
Hélène Kirchner

In 6th NWPT, pages 190-191

Abstract:

-algebras are polymorphic, order-sorted algebras where sorts are terms in an equational theory. -algebras are still first order and have the classical quotient term algebra as initial model. They extend -algebras conservatively and are close to a two level, hierarchical fragment of unified algebra. The presented framework has meanwhile been superseded by an -level Horn clause approach called -logics, having a sound and complete deduction system and initial models.

Comments
CRIN-CNRS & INRIA-Lorraine, BP239, F-54506 Vanduvre-lès-Nancy Cedex, France. Email: {hinterme,hkirchne}@loria.fr.

Available as PostScript, DVI.

BRICS WWW home page