Pages that link to "Item:Q5881172"
From MaRDI portal
The following pages link to Algebraic semantics of rewriting terms and types (Q5881172):
Displaying 9 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Rewriting in the partial algebra of typed terms modulo AC (Q2842873) (← links)
- (Q4206388) (← links)
- (Q4472207) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- (Q4858947) (← links)
- Term Rewriting and Applications (Q5703844) (← links)