Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and (1987)

by Joseph Goguen, Jose Meseguer
Venue:Coercion Problems, Symposium on Logic in Computer Science