Jeux graphiques et théorie de la démonstration
Ce travail est une contribution à la sémantique de jeux des langages de programmation. Il présente plusieurs méthodes nouvelles pour construire une sémantique de jeux pour un lambda-calcul de continuations.Si les sémantiques de jeux ont été développées à grande échelle pour fournir des modèles de la...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013GRENM083/document |