The following pages link to (Q4484329):
Displaying 7 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- Canonical HybridLF: extending Hybrid with dependent types (Q1744412) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
