@misc{indiciae1db65e0255ee,
  title = {Two Remarks about Game Semantics of Classical Logic},
  author = {Thierry Coquand},
  year = {2026},
  doi = {10.4204/eptcs.441.6},
  url = {https://arxiv.org/abs/2603.04012},
  note = {Source identifier: 2603.04012}
}