Hybrid and subexponential linear logics

article

Fecha

2017

Registro en:

DESPEYROUX, 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-0661

https://repositorio.ufrn.br/jspui/handle/123456789/29756

10.1016/j.entcs.2017.04.007

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3951097

Autor

Despeyroux, Joelle

Pimentel, Elaine Gouvea

Vega, Carlos Alberto Olarte

Institución

Universidade Federal do Rio Grande do Norte (Brasil)

Materias

Hybrid Linear Logic

Subexponentials

Logical frameworks

Mostrar el registro completo del ítem