Reasoning with higher-order abstract syntax and contexts: a comparison
From MaRDI portal
(Redirected from Publication:5747652)
Recommendations
- Two-level hybrid: a system for reasoning using higher-order abstract syntax
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
- Reasoning with higher-order abstract syntax in a logical framework
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
Cited in
(13)- A formalized general theory of syntax with bindings: extended version
- Scalable algorithms for abduction via enumerative syntax-guided synthesis
- Case analysis of higher-order data
- Two-level hybrid: a system for reasoning using higher-order abstract syntax
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
- Programming inductive proofs. A new approach based on contextual types
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
- Mechanizing proofs with logical relations -- Kripke-style
- scientific article; zbMATH DE number 7204440 (Why is no real title available?)
- Reasoning with higher-order abstract syntax in a logical framework
- An improved implementation and abstract interface for Hybrid
- Facilitating meta-theory reasoning (invited paper)
This page was built for publication: Reasoning with higher-order abstract syntax and contexts: a comparison
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747652)
