FC

Contents

FC#

class discopy.grammar.categorial.FC(left, right)[source]#

Bases: BinaryTerm

Forward composition A << C with subterms A << B and B << C.

Parameters:
  • left (Term) –

  • right (Term) –