The following pages link to (Q4858947):
Displaying 11 items.
- Rewrite systems on a lattice of types (Q1064065) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Type introduction for equational rewriting (Q1579057) (← links)
- (Q4206388) (← links)
- (Q4499487) (← links)
- Generalizing Def and Pos to Type Analysis (Q4542943) (← links)
- Introduction to generalized type systems (Q4939697) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- Term Rewriting and Applications (Q5703854) (← links)
- Algebraic semantics of rewriting terms and types (Q5881172) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)