Pages that link to "Item:Q4675772"

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)