Pages that link to "Item:Q5738952"

The following pages link to Reasoning with higher-order abstract syntax in a logical framework (Q5738952):

Displayed 21 items.

• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) ‎ (← links)
• Nominal abstraction (Q617715) ‎ (← links)
• Nominal logic, a first order theory of names and binding (Q1887151) ‎ (← links)
• Cut elimination for a logic with induction and co-induction (Q1948276) ‎ (← links)
• Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) ‎ (← links)
• Mechanized metatheory revisited (Q2323447) ‎ (← links)
• A proof theory for model checking (Q2331070) ‎ (← 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)
• Term-generic logic (Q2339466) ‎ (← links)
• Cut-elimination for quantified conditional logic (Q2363418) ‎ (← links)
• On the Expressivity of Minimal Generic Quantification (Q2804937) ‎ (← links)
• Reasoning in Abella about Structural Operational Semantics Specifications (Q2804943) ‎ (← links)
• Encoding Generic Judgments (Q2841234) ‎ (← links)
• LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) ‎ (← links)
• Term-Generic Logic (Q3184738) ‎ (← links)
• The Abella Interactive Theorem Prover (System Description) (Q3541698) ‎ (← links)
• Formalizing Operational Semantic Specifications in Logic (Q4982629) ‎ (← links)
• (Q4993349) ‎ (← links)
• A focused linear logical framework and its application to metatheory of object logics (Q5022931) ‎ (← links)
• Towards substructural property-based testing (Q6102253) ‎ (← links)