Pages that link to "Item:Q4522334"
From MaRDI portal
The following pages link to Postponement, conservation and preservation of strong normalization for generalized reduction (Q4522334):
Displaying 5 items.
- A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
