Nuprl Definition : constant-dataflow
constant-dataflow(b) == stateless-dataflow(a.b)
Definitions occuring in Statement :
stateless-dataflow: stateless-dataflow(m.f[m])
FDL editor aliases :
constant-dataflow
Latex:
constant-dataflow(b) == stateless-dataflow(a.b)
Date html generated:
2015_07_23-AM-11_05_22
Last ObjectModification:
2013_10_24-PM-10_55_13
Home
Index