Hybrid and Subexponential Linear Logics

Joƫlle Despeyroux, Carlos Olarte, Elaine Pimentel. Hybrid and Subexponential Linear Logics. Electronic Notes in Theoretical Computer Science, 332:95-111, 2017. [doi]

Abstract

Abstract is missing.