Designs, Disputes and Strategies

Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" appraoch to Games Semantics, and thus establish a clear connection between the two subjects.

• Type: Journal
• Year: 2002
• Where: CSL
• Authors: Claudia Faggian, Martin Hyland
• Keywords: Abstract General Approach, Automated Reasoning, Basic Notions, CSL 2002, Innocent Strategy