"Hybrid and Subexponential Linear Logics."

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