4 results
Expansion trees with cut
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 8 / September 2019
- Published online by Cambridge University Press:
- 08 October 2019, pp. 1009-1029
-
- Article
- Export citation
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 672-708
- Print publication:
- June 2017
-
- Article
- Export citation
Constructive forcing, CPS translations and witness extraction in Interactive realizability†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 6 / September 2017
- Published online by Cambridge University Press:
- 29 October 2015, pp. 993-1031
-
- Article
- Export citation
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 25 October 2013, e240601
-
- Article
- Export citation