The following pages link to (Q2767057):
Displaying 12 items.
- Nominal abstraction (Q617715) (← links)
- A new approach to abstract syntax with variable binding (Q699761) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- The abstract variable-binding calculus (Q1896759) (← 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: preliminary results (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)
