 A signature formula_4 (with formula_14 defined on it) along with a set of interaction rules defined for agents formula_15 together constitute an "interaction system".Textual representation of interaction nets is called the "interaction calculus" and can be seen as a programming language.Inductively defined trees correspond to "terms" formula_16 in the interaction calculus, where formula_7 is called a "name".