The following pages link to (Q3656423):
Displaying 7 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Canonical HybridLF: extending Hybrid with dependent types (Q1744412) (← links)
- Nested abstract syntax in Coq (Q1945918) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Type theory and language constructs for objects with states (Q2851715) (← links)
- Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622) (← links)
- (Q4499217) (← links)