Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems Book Discussion
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems (Report)
by
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems (Report)