Variable binding, symmetric monoidal closed theories, and bigraphsReport as inadecuate



 Variable binding, symmetric monoidal closed theories, and bigraphs


Variable binding, symmetric monoidal closed theories, and bigraphs - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: 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.



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

Source: https://archive.org/







Related documents