<IMG ALIGN=BOTTOM SRC="_25254_tex2html_wrap22.gif">-Algebras


Claus Hintermeier
Hélène Kirchner

In 6th NWPT, pages 190-191


-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.

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

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page