Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes
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,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011ENSL0622 |