Pages that link to "Item:Q1575247"
From MaRDI portal
The following pages link to Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247):
Displaying 7 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- On explicit substitution with names (Q2392486) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
