Pages that link to "Item:Q3735687"
From MaRDI portal
The following pages link to A direct proof of the finite developments theorem (Q3735687):
Displaying 8 items.
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (Q3558344) (← links)
- (Q5488760) (← links)
- Effective longest and infinite reduction paths in untyped λ-calculi (Q5878916) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)