Colimits of Order-Sorted Specifications (0)

by Till Mossakowski
Venue:In Recent Trends in Algebraic Development Techniques, Proc. 12th International Workshop, WADT '97