On the Meaning of Focalization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

On the Meaning of Focalization


In this paper, we use Girard’s ludics to analyze focalization, a fundamental property of the proof theory of linear logic. In particular, we show how focalization can be realized interactively thanks to suitable section-retraction pairs between semantical types.

Dates and versions

hal-00552209 , version 1 (05-01-2011)



Alexis Saurin, Michele Basaldella, Kazushige Terui. On the Meaning of Focalization. workshop on Games, Dialog and Interaction, Sep 2009, Paris, France. pp.78-87, ⟨10.1007/978-3-642-19211-1_5⟩. ⟨hal-00552209⟩
60 View
0 Download



Gmail Facebook X LinkedIn More