Pages that link to "Item:Q2804943"

The following pages link to Reasoning in Abella about Structural Operational Semantics Specifications (Q2804943):

Displaying 5 items.

• Nominal abstraction (Q617715) (← links)
• On the Role of Names in Reasoning about λ-tree Syntax Specifications (Q2804945) (← links)
• Nominal SOS (Q3178277) (← links)
• The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
• Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)