Variable binding, symmetric monoidal closed theories, and bigraphs

Richard Garner Tom Hirschowitz Aurélien Pardon

Published in: CoRR (2009)

Keyphrases

equational theories
theoretical framework
search algorithm
databases
design theory
real time
neural network
information retrieval
website
domain theory
defeasible logic