Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Simon Forest

est l'auteur d'une thèse

Catégories Catégories de Gray Catégories strictes Catégories supérieures Diagrammes de recollement Problème du mot Réécriture

Fullscreen

Catégories Catégories de Gray Catégories strictes Catégories supérieures Diagrammes de recollement Problème du mot Réécriture

Simon Forest a rédigé la thèse suivante :

Descriptions calculatoires de catégories supérieures

par Simon Forest sous la direction de Samuel Mimram et de Yves Guiraud . - Institut polytechnique de Paris

Informatique

Soutenue le 08-01-2021

Thèse soutenue

Accéder en ligne