Prefer a chat interface with context about you and your work?
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs