Despeyroux, JoellePimentel, Elaine GouveaVega, Carlos Alberto Olarte2020-07-302020-07-302017DESPEYROUX, Joëlle; OLARTE, Carlos; PIMENTEL, Elaine. Hybrid and Subexponential Linear Logics. Electronic Notes in Theoretical Computer Science, [S.L.], v. 332, p. 95-111, jun. 2017. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066117300178?via%3Dihub. Acesso em: 29 Jul. 2020. http://dx.doi.org/10.1016/j.entcs.2017.04.007.1571-0661https://repositorio.ufrn.br/jspui/handle/123456789/29756Linear logicHybrid Linear LogicSubexponentialsLogical frameworksTemporal Logicarticle10.1016/j.entcs.2017.04.007