Lars With

• Order sorted equational computation with semantical sorts