Pages that link to "Item:Q4916060"

The following pages link to Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060):

Displaying 3 items.

• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)