Pages that link to "Item:Q3125228"
From MaRDI portal
The following pages link to λν, a calculus of explicit substitutions which preserves strong normalisation (Q3125228):
Displaying 27 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- On explicit substitution with names (Q2392486) (← links)
- (Q2703692) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Meta-programming With Built-in Type Equality (Q2871838) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- Explicit Substitutions à la de Bruijn (Q4924548) (← links)
- On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
- Explicit substitutions with de bruijn's levels (Q5055838) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- (Q5089006) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
