Additive Types in Quantitative Type Theory.

Vt Sefl, Toms Svoboda

Browse the full WoLLIC paper archive.