Abstract
Even though the multiplicative-additive fragment of linear logic forbids structural rules in general, is does admit a bounded form of exponential moda......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
