Pages that link to "Item:Q4254636"
From MaRDI portal
The following pages link to Upper bounds for standardizations and an application (Q4254636):
Displaying 7 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Exact bounds for acyclic higher-order recursion schemes (Q2112794) (← links)
- Standardization theorem revisited (Q2956717) (← links)
- Chemical Term Reduction with Active P Systems (Q2975908) (← links)
- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (Q3558344) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- (Q4668905) (← links)