Nuprl Definition : RSC_NewRounds
RSC_NewRounds(Cmd) ==
n.Threshold-Combinator(RSC_round_increase() n;RSC_RoundInfo(Cmd);RSC_init() 0;RSC_incround();RSC_thr_out())
Definitions occuring in Statement :
RSC_incround: RSC_incround(),
RSC_round_increase: RSC_round_increase(),
RSC_RoundInfo: RSC_RoundInfo(Cmd),
RSC_thr_out: RSC_thr_out(),
RSC_init: RSC_init(),
Threshold-Combinator: Threshold-Combinator(R;X;init_state;accum;f),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
RSC_NewRounds
RSC\_NewRounds(Cmd) ==
\mlambda{}n.Threshold-Combinator(RSC\_round\_increase() n;RSC\_RoundInfo(Cmd);RSC\_init()
0;RSC\_incround();RSC\_thr\_out())
Date html generated:
2012_02_20-PM-03_59_26
Last ObjectModification:
2012_02_02-PM-01_58_34
Home
Index