載入...
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:
| 發表在: | Foundations of Software Science and Computation Structures |
|---|---|
| Main Authors: | , |
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
2021
|
| 主題: | |
| 在線閱讀: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984114/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-71995-1_12 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|