Game semantics and the geometry of backtracking: a new complexity analysis of interaction (Q4977225)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Game semantics and the geometry of backtracking: a new complexity analysis of interaction |
scientific article; zbMATH DE number 6756192
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7854880094528198
0 references
0.7548915147781372
0 references
0.7529668807983398
0 references
0.7214773893356323
0 references
0.7152464389801025
0 references
