Pages that link to "Item:Q2945649"
From MaRDI portal
The following pages link to Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions (Q2945649):
Displayed 5 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- (Q5111317) (← links)
- (Q5155670) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)