Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
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

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique