HYBRID
From MaRDI portal
Software:13181
No author found.
Related Items (20)
A linear logic framework for multimodal logics ⋮ The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ A two-level logic approach to reasoning about computations ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Cut elimination for a logic with induction and co-induction ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ Programs Using Syntax with First-Class Binders ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Canonical HybridLF: extending Hybrid with dependent types ⋮ Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions ⋮ Mechanizing proofs with logical relations – Kripke-style ⋮ Unnamed Item ⋮ A case study in programming coinductive proofs: Howe’s method ⋮ Mechanized metatheory revisited ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic ⋮ Formal meta-level analysis framework for quantum programming languages ⋮ Mechanizing focused linear logic in Coq ⋮ Term-generic logic ⋮ Rensets and renaming-based recursion for syntax with bindings ⋮ A focused linear logical framework and its application to metatheory of object logics
This page was built for software: HYBRID
