Un cadre quantitatif pour la Ludique
La ludique, introduite par Jean-Yves Girard, est un modèle de la logique linéaire sans exponentielles. En vue de la modélisation des exponentielles, cette thèse propose deux extensions successives de la ludique. La première extension étend la ludique en un modèle probabiliste original conservant la...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00152476 http://tel.archives-ouvertes.fr/docs/00/15/24/76/PDF/theseFM.pdf |