Pages that link to "Item:Q2871859"
From MaRDI portal
The following pages link to A head-to-head comparison of de Bruijn indices and names (Q2871859):
Displaying 9 items.
- Alpha equivalence equalities (Q428860) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention (Q5022932) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)