Pages that link to "Item:Q4645802"
From MaRDI portal
The following pages link to Approximation and normalization results for typeable term rewriting systems (Q4645802):
Displaying 7 items.
- The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Strongly normalising cut-elimination with strict intersection types (Q2842832) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation (Q5505589) (← links)