Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets (Q4617970)
From MaRDI portal
scientific article; zbMATH DE number 7014559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets |
scientific article; zbMATH DE number 7014559 |
Statements
Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets (English)
0 references
7 February 2019
0 references
\(\ast\)-algebra
0 references
Boolean polynomial ring
0 references
geometry of interaction
0 references
change of coefficient ring
0 references
cut-elimination
0 references
execution formula
0 references
multiplicative additive linear logic
0 references
proof-nets
0 references
semiring of formal languages
0 references
