The following pages link to On the Notion of Substitution (Q4821649):
Displaying 16 items.
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Substitution operators (Q548122) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- Point-free substitution (Q1924634) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749) (← links)
- Marcus and Substitutivity (Q3187715) (← links)
- (Q3201049) (← links)
- (Q3318749) (← links)
- Generic substitutions (Q3370754) (← links)
- The Substitution Vanishes (Q3623933) (← links)
- Cuts and gluts (Q3647229) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- Full substitutability (Q5121487) (← links)
- a-Logic With Arrows (Q5403474) (← links)