Pages that link to "Item:Q2945640"

The following pages link to HOCore in Coq (Q2945640):

Displaying 7 items.

• \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• HOCore in Coq (Q2945640) (← links)
• Trakhtenbrot’s Theorem in Coq (Q5048993) (← links)
• (Q5094147) (← links)
• Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
• A formal theory of choreographic programming (Q6161233) (← links)