The following pages link to A meta linear logical framework (Q2871843):
Displaying 9 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- A linear logical framework (Q1400718) (← links)
- Logical frameworks. Why not just classical logic? (Q2702563) (← links)
- Logical frameworks (Q2751369) (← links)
- Case analysis of higher-order data (Q2804942) (← links)
- A simplified account of the metatheory of linear LF (Q2844807) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Mechanizing metatheory in a logical framework (Q5308093) (← links)
- Towards substructural property-based testing (Q6102253) (← links)