Pages that link to "Item:Q6060672"
From MaRDI portal
The following pages link to Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672):
Displaying 5 items.
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- A linear algebra approach to linear metatheory (Q6657791) (← links)
