This paper investigates the use of symmetric monoidal closed (smc) structure for representing syntax with variable binding, in particular for languages with ...
May 26, 2009 · Abstract: This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, ...
This paper investigates the use of symmetric monoidal closed. (smc) structure for representing syntax with variable binding, in partic- ular for languages with ...
[PDF] Variable binding, symmetric monoidal closed theories, and bigraphs - HAL
hal.science › document
May 26, 2009 · This paper investigates the use of symmetric monoidal closed. (smc) structure for representing syntax with variable binding, in partic- ular for ...
This paper investigates the use of symmetric monoidal closed ( smc ) structure for representing syntax with variable binding, in particular for languages ...
▻ Application to bigraphs. Page 18. Variable Binding,. Symmetric. Monoidal Closed. Theories, and. Bigraphs. Garner,. Hirschowitz,. Pardon. Motivation.
This paper investigates the use of symmetric monoidal closed (<Emphasis Type="SmallCaps">smc</Emphasis> ) structure for representing syntax with variable ...
Oct 24, 2008 · Abstract: Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages.
This paper investigates the use of symmetric monoidal closed (smc) structure for representing syntax with variable binding, in particular for languages with ...
This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with ...