Variable binding, symmetric monoidal closed theories, and bigraphsReportar como inadecuado



 Variable binding, symmetric monoidal closed theories, and bigraphs


Variable binding, symmetric monoidal closed theories, and bigraphs - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Variable binding, symmetric monoidal closed theories, and bigraphs
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 ST whose morphisms are, in a sense, terms in the desired syntax. We apply our approach to Jensen and Milners abstract binding bigraphs, which are linear w.r.t. processes. This leads to an alternative category of bigraphs, which we compare to the original.



Autor: Richard Garner; Tom Hirschowitz; Aurélien Pardon

Fuente: https://archive.org/







Documentos relacionados