Pages that link to "Item:Q1274449"
From MaRDI portal
The following pages link to An algebraic generalization of Frege structures -- binding algebras (Q1274449):
Displayed 4 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)