Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.

Richard Garner, Tom Hirschowitz, Aurlien Pardon

Browse the full CONCUR paper archive.