Pages that link to "Item:Q5892493"

The following pages link to General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493):

Displaying 11 items.

• Nominal Isabelle (Q23989) (← links)
• A formalized general theory of syntax with bindings (Q1687739) (← links)
• A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
• HOCore in Coq (Q2945640) (← links)
• Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)
• Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem (Q3100205) (← links)
• Mechanizing the Metatheory of mini-XQuery (Q3100214) (← links)
• (Q5028480) (← links)
• (Q5111307) (← links)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
• General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)