Variable binding, symmetric monoidal closed theories, and bigraphs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Variable binding, symmetric monoidal closed theories, and bigraphs

Résumé

This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with linear aspects. In our setting, one first specifies an SMC theory T, which may express binding operations, in a way reminiscent from higher-order abstract syntax. This theory generates an SMC category S(T) whose morphisms are, in a sense, terms in the desired syntax. We apply our approach to Jensen and Milner's (abstract binding) bigraphs, which are linear w.r.t. processes. This leads to an alternative category of bigraphs, which we compare to the original.
Fichier principal
Vignette du fichier
concur.pdf (209.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00388100 , version 1 (26-05-2009)

Identifiants

Citer

Richard Garner, Tom Hirschowitz, Aurélien Pardon. Variable binding, symmetric monoidal closed theories, and bigraphs. CONCUR 2009, 2009, Bologna, Italy. pp.321-337, ⟨10.1007/978-3-642-04081-8_22⟩. ⟨hal-00388100⟩
282 Consultations
295 Téléchargements

Altmetric

Partager

More