Pages that link to "Item:Q2804937"
From MaRDI portal
The following pages link to On the Expressivity of Minimal Generic Quantification (Q2804937):
Displaying 6 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Nominal abstraction (Q617715) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- On the Expressivity of Minimal Generic Quantification (Q2804937) (← links)
- Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
