BC

class discopy.grammar.categorial.BC(left, right)

Bases: BinaryTerm

Backward composition A >> C with subterms A >> B and B >> C.

Parameters:

• left (Term) –

• right (Term) –