Binding bigraphs as symmetric monoidal closed theories

Tom Hirschowitz Aurélien Pardon

Published in: CoRR (2008)

Keyphrases

equational theories
theoretical framework
cognitive psychology
queueing networks
open or closed
data sets
data mining
website
multi agent
defeasible logic