WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites cand?
candDef A & B == AB

Syntax:A & B has structure: cand(A; B)

About:
product!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc