The following pages link to A Meta Linear Logical Framework (Q2871843):
Displaying 4 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Case Analysis of Higher-Order Data (Q2804942) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Towards substructural property-based testing (Q6102253) (← links)