Two Remarks about Game Semantics of Classical Logic
Paper in proceeding, 2026
We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
Author
Thierry Coquand
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 441 96-102
Workshop on Logics and Type Theory, LTT 2026
Turin, Italy,
Turin, Italy,
Subject Categories (SSIF 2025)
Other Mathematics
Discrete Mathematics
Geometry
Mathematical Analysis
Algebra and Logic
DOI
10.4204/EPTCS.441.6