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

Abstract

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)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More