BA#
- class discopy.grammar.categorial.BA(args, func)[source]#
Bases:
TermBase,discopy.biclosed.ApplicationApplication of type
Ywith subterms of typeXandX >> Y.
Bases: TermBase, discopy.biclosed.Application
Application of type Y with subterms of type X and X >> Y.