Pages that link to "Item:Q5458389"
From MaRDI portal
The following pages link to Practical Programming with Higher-Order Encodings and Dependent Types (Q5458389):
Displayed 6 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Case Analysis of Higher-Order Data (Q2804942) (← links)
- On the Role of Names in Reasoning about λ-tree Syntax Specifications (Q2804945) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)