Many-sorted theories and their algebras with some applications to data types

• Authors:

• S L Bloom;E G Wagner

• Affiliations:

• -;-

• Venue:
• Algebraic methods in semantics
• Year:
• 1986