Pages that link to "Item:Q2945649"
From MaRDI portal
The following pages link to Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions (Q2945649):
Displaying 9 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Relating system F and \(\lambda 2\): a case study in Coq, Abella and Beluga (Q5111317) (← links)
- (Q5155670) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Automatically Generated Infrastructure for De Bruijn Syntaxes (Q5327359) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)