Loading...
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...
Saved in:
| Published in: | Foundations of Software Science and Computation Structures |
|---|---|
| Main Authors: | , |
| Format: | Artigo |
| Language: | Inglês |
| Published: |
2021
|
| Subjects: | |
| Online Access: | 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: |
Add Tag
No Tags, Be the first to tag this record!
|