Pages that link to "Item:Q1274458"
From MaRDI portal
The following pages link to Explicit substitution. On the edge of strong normalization (Q1274458):
Displaying 14 items.
- A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- \(\lambda\)-calculi with explicit substitutions preserving strong normalization (Q1290510) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Formalizing strong normalization proofs of explicit substitution calculi in ALF (Q1810858) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- Explicit substitutions and reducibility (Q2752530) (← links)
- (Q3044339) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation (Q4444936) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
