The following pages link to (Q3024846):
Displayed 12 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Subtractive logic (Q5940919) (← links)