Global State Considered Helpful (Q5415641)
From MaRDI portal
scientific article; zbMATH DE number 6294841
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Global State Considered Helpful |
scientific article; zbMATH DE number 6294841 |
Statements
Global State Considered Helpful (English)
0 references
13 May 2014
0 references
game semantics
0 references
categorical semantics
0 references
good variables
0 references
