Pages that link to "Item:Q2996140"
From MaRDI portal
The following pages link to A Framework for Order-Sorted Algebra (Q2996140):
Displaying 9 items.
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659) (← links)
- Homomorphism preserving algebraic specifications require hidden sorts (Q1893731) (← links)
- A computer algebra system based on order-sorted algebra (Q1895399) (← links)
- (Q3219800) (← links)
- (Q3464876) (← links)
- (Q4326912) (← links)
- (Q4736520) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703989) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)