Pages that link to "Item:Q4234771"
From MaRDI portal
The following pages link to Modularity of strong normalization in the algebraic-λ-cube (Q4234771):
Displaying 19 items.
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Abstract data type systems (Q1391729) (← links)
- Nominal rewriting (Q2373703) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates (Q3094178) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- Problems in rewriting III (Q5055847) (← links)
- On the power of simple diagrams (Q5055861) (← links)
- (Q5094148) (← links)
- Inductive-data-type systems (Q5958292) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)
