Nuprl Definition : dataflow-out

dataflow-out(df;a) ==  snd(df(a))


Definitions occuring in Statement :  dataflow-ap: df(a),  pi2: snd(t)
FDL editor aliases :  dataflow-out
Latex:
dataflow-out(df;a)  ==    snd(df(a))


Date html generated: 2016_05_17-AM-10_20_20
Last ObjectModification: 2013_10_24-PM-10_55_38

Theory : process-model


Home Index