Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes
FR |
EN
Auteur / Autrice : | Aurélien Pardon |
Direction : | Daniel Hirschkoff |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 07/04/2011 |
Etablissement(s) : | Lyon, École normale supérieure |
Ecole(s) doctorale(s) : | École doctorale en Informatique et Mathématiques de Lyon |
Jury : | Président / Présidente : Pierre Lescanne |
Examinateurs / Examinatrices : Daniel Hirschkoff, Pierre Lescanne, Stefano Guerrini, Laurent Régnier, Tom Hirschowitz | |
Rapporteurs / Rapporteuses : Stefano Guerrini, Paul-André Melliès, Laurent Régnier |
Mots clés
FR |
EN
Mots clés contrôlés
Résumé
FR |
EN
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétrique monoïdale close (smc) et une construction explicite de la catégorie smc engendrée, formant ainsi une adjonction entre théories et catégories. On étudie les exemples du lambda-calcul pur linéaire, du lambda-calcul pur standard, puis des bigraphes de Milner. À chaque fois on donne une théorie smc et on compare la catégorie smc engendrée avec la présentation standard. Entre autres, dans les trois cas, on montre une équivalence entre les deux sur les termes clos.