Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.

Norihiro Kamide

Browse the full JELIA paper archive.