Pages that link to "Item:Q4675772"
From MaRDI portal
The following pages link to Closed reduction: explicit substitutions without $\alpha$ -conversion (Q4675772):
Displayed 15 items.
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- Nominal rewriting (Q2373703) (← links)
- A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine (Q2864217) (← links)
- The Power of Closed Reduction Strategies (Q2866800) (← links)
- Complete Laziness: a Natural Semantics (Q2873681) (← links)
- Minimality in a Linear Calculus with Iteration (Q2873683) (← links)
- Token-passing Nets for Functional Languages (Q2873684) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- (Q4972738) (← links)
- (Q5015378) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)