Skip to Main content Skip to Navigation
Theses

Un cadre quantitatif pour la Ludique

Abstract : Ludics, introduced by Jean-Yves Girard, is a model of linear logic without exponentials. In the purpose of modeling exponentials, this thesis proposes two successive extensions of ludics. The first extension extends ludics in an original probabilistic model preserving the majority of the theorems of the initial model. The second extension takes again this probabilistic model and uses pointers, introduced in Hyland and Ong's games, which makes it possible to consider repetitions and thus to model exponentials.

A completeness result is shown for probabilistic ludics with respect to ludics and to MALL2. The proposed exponential ludics satisfie the main theorems of ludics : the analytical theorems. In particular, this model exhibits an interpretation of linear logic with repetitions while keeping a separated topology. Moreover, the introduced coefficients yield a "greater separation" than in the original model.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00152476
Contributor : François Maurel <>
Submitted on : Thursday, June 7, 2007 - 8:43:24 AM
Last modification on : Saturday, March 28, 2020 - 2:08:26 AM
Long-term archiving on: : Thursday, April 8, 2010 - 7:08:21 PM

Identifiers

  • HAL Id : tel-00152476, version 1

Collections

Citation

François Maurel. Un cadre quantitatif pour la Ludique. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français. ⟨tel-00152476⟩

Share

Metrics

Record views

310

Files downloads

329