Catégories et diagrammes de cordes pour les jeux concurrents / Clovis Eberhart ; sous la direction de Tom Hirschowitz

Date :

Editeur / Publisher : , 2018

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Langages de programmation -- Thèses et écrits académiques

Modèles mathématiques -- Thèses et écrits académiques

Classification Dewey : 004

Classification Dewey : 510

Hirschowitz, Tom (1976-....) (Directeur de thèse / thesis advisor)

Hyland, J. M. E. (Président du jury de soutenance / praeses)

Mimram, Samuel (1983-....) (Rapporteur de la thèse / thesis reporter)

Melliès, Paul-André (Membre du jury / opponent)

Curien, Pierre-Louis (Membre du jury / opponent)

Danos, Vincent (Membre du jury / opponent)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de Mathématiques (Chambéry) (Laboratoire associé à la thèse / thesis associated laboratory)