Nuprl Definition : dataflow-ap

df(a) ==  df a


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  dataflow-ap
Latex:
df(a)  ==    df  a


Date html generated: 2015_07_23-AM-11_05_32
Last ObjectModification: 2013_10_24-PM-10_55_28

Home Index