Pages that link to "Item:Q1687739"
From MaRDI portal
The following pages link to A formalized general theory of syntax with bindings (Q1687739):
Displaying 5 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- On bounded interpretations of grammar forms (Q808719) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- A NEW APPROACH TO FORMAL SYNTAX (Q3330530) (← links)