Publication | Closed Access

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Order TheoryAlgebraic LogicAbstract AlgebraOrder-sorted AlgebraFormal MethodsUniversal AlgebraPartially Ordered SetMultiple InheritanceEquational Deduction