Two Remarks about Game Semantics of Classical Logic

Electronic Proceedings in Theoretical Computer Science 2026 Open access

Read full text

Authors: Thierry Coquand

DOI: 10.4204/eptcs.441.6

Cited by: 0

References: 9

Fields of Study & Subjects

Logic programming and type systems Advanced Algebra and Logic Reasoning and Knowledge

References 9