Pages that link to "Item:Q5096189"
From MaRDI portal
The following pages link to Higher-order order-sorted algebras (Q5096189):
Displaying 9 items.
- Algebraic optimization of object-oriented query languages (Q688667) (← links)
- Generator induction in order sorted algebras (Q749219) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- Order-independence algebras (Q1966143) (← links)
- A Framework for Order-Sorted Algebra (Q2996140) (← links)
- (Q4326912) (← links)
- ORDER ALGEBRAS (Q4531184) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q5096382) (← links)
- Unification in an extensional lambda calculus with ordered function sorts and constant overloading (Q5210801) (← links)