Logique dans le Facteur Hyperfini: Géométrie de l'Interaction et Complexité
Cette thèse est une étude de la géométrie de l'interaction dans le facteur hyperfini (GdI5), introduite par Jean-Yves Girard, et de ses liens avec les constructions plus anciennes. Nous commençons par montrer comment obtenir des adjonctions purement géométriques comme une identité entre des ens...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Aix-Marseille Université
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00768403 http://tel.archives-ouvertes.fr/docs/00/76/84/03/PDF/main.pdf http://tel.archives-ouvertes.fr/docs/00/76/84/03/ANNEX/Soutenance.pdf |