WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites infix ap?
infix_apDef x f y == f(x,y)

Syntax:x f y has structure: infix_ap(f; x; y)

About:
apply!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc