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

Matteo Acclavio

est l'auteur d'une thèse

Catégories monoidales Cohérence Cohérence Diagrammes de cordes Langages de programmation -- Syntaxe Logique de seuil Logique linéaire Sémantique Séquentialisation

Fullscreen

Catégories monoidales Cohérence Cohérence Diagrammes de cordes Langages de programmation -- Syntaxe Logique de seuil Logique linéaire Sémantique Séquentialisation

Matteo Acclavio a rédigé la thèse suivante :

String diagram rewriting : applications in category and proof theory

par Matteo Acclavio sous la direction de Yves Lafont - Aix-Marseille

Mathématiques

Soutenue le 14-12-2016

Thèse soutenue