Jeux de Réalisabilité en Arithmétique Classique.
Ce travail est devoué à la Réalisabilité de Krivine, se focalisant sur les aspects calculatoires des réalisateurs des formules. Chaque formule a un jeu associé. Chaque preuve fournit un therme capable d'implémenter une stratégie gagnante pour le jeux associé à la formule qu'elle démontre....
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris-Diderot - Paris VII
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00594974 http://tel.archives-ouvertes.fr/docs/00/59/49/74/PDF/these.pdf |