Pages that link to "Item:Q1290510"
From MaRDI portal
The following pages link to \(\lambda\)-calculi with explicit substitutions preserving strong normalization (Q1290510):
Displaying 16 items.
- A note on preservation of strong normalisation in the \(\lambda \)-calculus (Q631760) (← links)
- Strong normalizability of typed lambda-calculi for substructural logics (Q1001367) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
- A \(\lambda\)-calculus with explicit weakening and explicit substitution (Q2713357) (← links)
- Explicit substitutions and reducibility (Q2752530) (← links)
- Strong normalization of substitutions (Q2785671) (← links)
- Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus (Q2881096) (← links)
- (Q3044339) (← links)
- The Expansion Problem in Lambda Calculi with Explicit Substitution (Q3549313) (← links)
- (Q4364376) (← links)
- Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation (Q4444936) (← links)
- Relating the - and s-styles of explicit substitutions (Q4500175) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
