Pages that link to "Item:Q1274449"
From MaRDI portal
The following pages link to An algebraic generalization of Frege structures -- binding algebras (Q1274449):
Displaying 13 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- 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)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Term-generic logic (Q2339466) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Term-Generic Logic (Q3184738) (← links)
- (Q3695246) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)