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 17 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Eta-conversion for the languages of explicit substitutions (Q1335136) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← 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)
- Erratum: Eta-conversion for the languages of explicit substitutions (Q1894580) (← links)
- On explicit substitution with names (Q2392486) (← links)
- An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus (Q2915182) (← links)
- (Q2978530) (← links)
- The Expansion Problem in Lambda Calculi with Explicit Substitution (Q3549313) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- (Q4364376) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Automated Deduction – CADE-19 (Q5900715) (← links)
