A carregar...
Generalized Bounded Linear Logic and its Categorical Semantics
We introduce a generalization of Girard et al.’s BLL called GBLL (and its affine variant GBAL). It is designed to capture the core mechanism of dependency in BLL, while it is also able to separate complexity aspects of BLL. The main feature of GBLL is to adopt a multi-object pseudo-semiring as a gra...
Na minha lista:
| Publicado no: | Foundations of Software Science and Computation Structures |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2021
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984114/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-71995-1_12 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|