GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225)
From MaRDI portal
scientific article; zbMATH DE number 6756192
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION |
scientific article; zbMATH DE number 6756192 |
Statements
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (English)
0 references
3 August 2017
0 references
Hyland-Ong Coquand game semantics
0 references
cut elimination
0 references
complexity
0 references
0 references
0 references
