Pages that link to "Item:Q4691183"
From MaRDI portal
The following pages link to Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183):
Displayed 4 items.
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)