Nuprl Definition : stateless-dataflow
stateless-dataflow(m.f[m]) == fix((λstateless-dataflow,m. <stateless-dataflow, f[m]>))
Definitions occuring in Statement :
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
stateless-dataflow
Latex:
stateless-dataflow(m.f[m]) == fix((\mlambda{}stateless-dataflow,m. <stateless-dataflow, f[m]>))
Date html generated:
2016_05_17-AM-10_19_38
Last ObjectModification:
2013_10_24-PM-10_55_09
Theory : process-model
Home
Index