Pages that link to "Item:Q2841274"

The following pages link to The theory of contexts for first order and higher order abstract syntax (Q2841274):

Displaying 9 items.

• Mechanizing type environments in weak HOAS (Q897934) (← links)
• On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
• \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
• A canonical locally named representation of binding (Q2392482) (← links)
• Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
• Case analysis of higher-order data (Q2804942) (← links)
• Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
• Plug and play the theory of contexts in higher-order abstract syntax (Q2847780) (← links)
• (Q3801107) (← links)