Pages that link to "Item:Q5878916"

The following pages link to Effective longest and infinite reduction paths in untyped λ-calculi (Q5878916):

Displaying 4 items.

• Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
• Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
• Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
• Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)