The following pages link to (Q3783265):
Displaying 7 items.
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Two different strong normalization proofs? (Q4645812) (← links)
- On a strongly consistent estimator of the squared L_2-norm of a function (Q4863900) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)