Pages that link to "Item:Q3559763"
From MaRDI portal
The following pages link to A Coverage Checking Algorithm for LF (Q3559763):
Displaying 8 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)
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Case analysis of higher-order data (Q2804942) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Normalization for the simply-typed lambda-calculus in Twelf (Q2871835) (← links)
- A New Elimination Rule for the Calculus of Inductive Constructions (Q3638245) (← links)