Footnotes

 

(1)

In fact Sig is a category, and Sen(.) and Mod(.) are functors. The categorial aspects of the semantics of CASL are emphasized in its formal semantics [Sem97c].  

(2)

The choice of a particular proof system for CASL has been investigated, but not yet decided.  

(3)

The translation of such constraints along signature morphisms adds a further component, for technical reasons.  

(4)

Mixfix notation is so-called because it generalizes infix, prefix, and postfix notation to allow arbitrary mixing of argument positions and identifier tokens.