"Hybrid and Subexponential Linear Logics Technical Report."

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics