Abstract

this paper consist of directed graphs containing nodes, denoted by K; L; M , and wires connecting the nodes. For the moment, a node K looks like K k l where the number of wires going in and out of K depends on the specification of K given by a signature. The signature K = (P; K) consists of a set P of basic types, called prime arities and denoted by p; q; r; : : : , and a set

Citations