The following pages link to (Q4417871):
Displaying 7 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Abstract metaprolog engine (Q4208849) (← links)
- Automated reasoning with a constraint-based metainterpreter (Q4245942) (← links)
- Reasoning with higher-order abstract syntax in a logical framework (Q5738952) (← links)
