Pages that link to "Item:Q287277"
From MaRDI portal
The following pages link to The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277):
Displaying 14 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Canonical HybridLF: extending Hybrid with dependent types (Q1744412) (← links)
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Inductive Beluga: Programming Proofs (Q3454100) (← links)
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183) (← links)
- Mechanizing proofs with logical relations – Kripke-style (Q4691187) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- (Q5111317) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
