Pages that link to "Item:Q438569"

The following pages link to Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569):

Displaying 15 items.

• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
• A formalized general theory of syntax with bindings (Q1687739) (← links)
• Canonical HybridLF: extending Hybrid with dependent types (Q1744412) (← links)
• Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
• A formalized general theory of syntax with bindings: extended version (Q1984791) (← 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)
• Term-generic logic (Q2339466) (← links)
• A two-level logic approach to reasoning about computations (Q2392484) (← links)
• Programs Using Syntax with First-Class Binders (Q2988654) (← links)
• (Q5111317) (← links)
• Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)