Pages that link to "Item:Q4222186"
From MaRDI portal
The following pages link to Bridging de Bruijn indices and variable names in explicit substitutions calculi (Q4222186):
Displaying 7 items.
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Reviewing the classical and the de Bruijn notation for \(\lambda\)-calculus and pure type systems (Q2752527) (← links)
- A head-to-head comparison of de Bruijn indices and names (Q2871859) (← links)
- Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions (Q2945649) (← links)
- Explicit substitution calculi with de Bruijn indices and intersection type systems (Q4644515) (← links)
- Explicit Substitutions à la de Bruijn (Q4924548) (← links)
- Intersection Type Systems and Explicit Substitutions Calculi (Q4931603) (← links)
