The following pages link to (Q3355246):
Displaying 4 items.
- Semantics of order-sorted specifications (Q1185014) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659) (← links)