Pages that link to "Item:Q1984791"
From MaRDI portal
The following pages link to A formalized general theory of syntax with bindings: extended version (Q1984791):
Displaying 12 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- On bounded interpretations of grammar forms (Q808719) (← links)
- Binding operators for nominal sets (Q1744371) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A canonical locally named representation of binding (Q2392482) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q2843728) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)