Pages that link to "Item:Q2843728"
From MaRDI portal
The following pages link to Substitution in non-wellfounded syntax with variable binding (Q2843728):
Displaying 5 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Lazy variable-renumbering makes substitution cheap (Q1114386) (← links)
- (Q3532206) (← links)