Pages that link to "Item:Q2713357"
From MaRDI portal
The following pages link to A λ-calculus with explicit weakening and explicit substitution (Q2713357):
Displayed 11 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 \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Nominal rewriting (Q2373703) (← links)
- On explicit substitution with names (Q2392486) (← links)
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)