The following pages link to (Q2767057):
Displayed 10 items.
- Nominal abstraction (Q617715) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- On the Expressivity of Minimal Generic Quantification (Q2804937) (← links)
- Encoding Generic Judgments (Q2841234) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
- (Q5875441) (← links)