Remarks on remarks on many-sorted equational logic (0)

by J A Goguen
Venue:SIGPLAN Notices