Logique, Réalisabilité et Concurrence
Cette thèse se consacre à l'application de techniques de réalisabilité dans le cadre de l'étude du sens calculatoire de la logique. Dans une première partie, nous rappelons le formalisme de la réalisabilité classique de Krivine, dans lequel nous menons ensuite une étude du contenu opératio...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011205 http://tel.archives-ouvertes.fr/docs/00/05/20/86/PDF/main.pdf |