Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon. Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. In Mario Bravetti, Gianluigi Zavattaro, editors, CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Volume 5710 of Lecture Notes in Computer Science, pages 321-337, Springer, 2009. [doi]

Authors

Richard H. G. Garner

This author has not been identified. Look up 'Richard H. G. Garner' in Google

Tom Hirschowitz

This author has not been identified. Look up 'Tom Hirschowitz' in Google

Aurélien Pardon

This author has not been identified. Look up 'Aurélien Pardon' in Google