Order-sorted equational computation with semantical sorts von With, Lars

Order-sorted equational computation with semantical sorts von With, Lars

Completeness and confluence of order sorted term rewriting von With, Lars

Linear order-sorted unification von With, Lars

Multi-sort variables a new concept for order-sorted unification von With, Lars

Economic ekphrasis Goldin+Senneby and art for business education von Guillet de Monthoux, Pierre 1946-

“… Pierre Guillet de Monthoux and Erik Wikberg; Art and business in synergy: a conversation with Lars Stranneḡrd, President of Stockholm School of Economics …”