Colimits of Order-Sorted Specifications (0)

Cached

Download Links

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