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

Aurélien Pardon

est l'auteur d'une thèse

Bigraphes Catégories symétriques monoïdales closes Lambda-calcul Lambda-graphes Réseaux de preuves Théories de Lawvere

Fullscreen

Bigraphes Catégories symétriques monoïdales closes Lambda-calcul Lambda-graphes Réseaux de preuves Théories de Lawvere

Aurélien Pardon a rédigé la thèse suivante :

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

par Aurélien Pardon sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure

Informatique

Soutenue le 07-04-2011

Thèse soutenue