Two Remarks about Game Semantics of Classical Logic
Paper i proceeding, 2026
We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
Författare
Thierry Coquand
Göteborgs universitet
Chalmers, Data- och informationsteknik, 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,
Ämneskategorier (SSIF 2025)
Annan matematik
Diskret matematik
Geometri
Matematisk analys
Algebra och logik
DOI
10.4204/EPTCS.441.6