Pages that link to "Item:Q4500179"
From MaRDI portal
The following pages link to Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179):
Displaying 6 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Axioms for the Theory of Lambda-Conversion (Q3714048) (← links)
- (Q4808736) (← links)
- Optimality and the linear substitution calculus (Q5111304) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)