Nuprl Definition : rsc2_NewRounds
rsc2_NewRounds(Cmd) ==
n.Threshold-Combinator(rsc2_round_increase(Cmd) n;rsc2_RoundInfo(Cmd);rsc2_init()
0;rsc2_incround(Cmd);rsc2_thr_out())
Definitions occuring in Statement :
rsc2_incround: rsc2_incround(Cmd),
rsc2_round_increase: rsc2_round_increase(Cmd),
rsc2_RoundInfo: rsc2_RoundInfo(Cmd),
rsc2_thr_out: rsc2_thr_out(),
rsc2_init: rsc2_init(),
Threshold-Combinator: Threshold-Combinator(R;X;init_state;accum;f),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
rsc2_NewRounds
rsc2\_NewRounds(Cmd) ==
\mlambda{}n.Threshold-Combinator(rsc2\_round\_increase(Cmd)
n;rsc2\_RoundInfo(Cmd);rsc2\_init() 0;rsc2\_incround(Cmd);rsc2\_thr\_out())
Date html generated:
2012_02_20-PM-04_43_05
Last ObjectModification:
2012_02_02-PM-02_06_08
Home
Index