Pages that link to "Item:Q1984791"

The following pages link to A formalized general theory of syntax with bindings: extended version (Q1984791):

Displaying 5 items.

• 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)
• Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
• Variable binding and substitution for (nameless) dummies (Q6151566) (← links)