Kleene star, subexponentials without contraction, and infinite computations (Q2234420)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kleene star, subexponentials without contraction, and infinite computations |
scientific article |
Statements
Kleene star, subexponentials without contraction, and infinite computations (English)
0 references
19 October 2021
0 references
linear logic
0 references
Kleene star
0 references
innite computations
0 references
complexity
0 references
0 references
0 references
