Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction

Journal of Symbolic Logic, 2017.

Cited by: 4|Bibtex|Views1|Links
EI

Abstract:

We present abstract complexity results about Coquand and Hyland-Ong game semantics, that will lead to new bounds on the length of first-order cut-elimination, normalization, interaction between expansion trees and any other dialogical process game semantics can model and apply to. In particular, we provide a novel method to bound the leng...More

Code:

Data:

Your rating :
0

 

Tags
Comments