Pages that link to "Item:Q1338890"
From MaRDI portal
The following pages link to A recursive second order initial algebra specification of primitive recursion (Q1338890):
Displaying 5 items.
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← 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)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)