The following pages link to (Q2871867):
Displaying 4 items.
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Reasoning in Abella about Structural Operational Semantics Specifications (Q2804943) (← links)
- Mechanizing proofs with logical relations – Kripke-style (Q4691187) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
