Pages that link to "Item:Q3008233"
From MaRDI portal
The following pages link to The representational adequacy of <scp>Hybrid</scp> (Q3008233):
Displaying 8 items.
- Alpha equivalence equalities (Q428860) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← 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)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- (Q3191596) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)