Pages that link to "Item:Q1908358"
From MaRDI portal
The following pages link to On the power of higher-order algebraic specification methods (Q1908358):
Displaying 9 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- (Q3031906) (← links)
- (Q3809236) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)