rec-dataflow(s0;s,m.next[s; m]) ==
Y (
rec-dataflow,s0,m.let s',ext = next[s0; m] in <rec-dataflow s', ext>) s0
Definitions :
ycomb: Y,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
apply: f a
FDL editor aliases :
rec-dataflow
rec-dataflow(s0;s,m.next[s; m]) ==
Y (\mlambda{}rec-dataflow,s0,m.let s',ext = next[s0; m] in <rec-dataflow s', ext>) s0
Date html generated:
2010_08_27-AM-12_04_40
Last ObjectModification:
2010_02_05-PM-01_37_52
Home
Index