The following pages link to I Got Plenty o’ Nuttin’ (Q3188289):
Displayed 9 items.
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- (Q5111322) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- Additive types in quantitative type theory (Q6160747) (← links)
- A dependent dependency calculus (Q6166797) (← links)
- A Java-like calculus with heterogeneous coeffects (Q6175517) (← links)