Nuprl Definition : ohc_v2_Replica
ohc_v2_Replica(Cmd;cmdeq;flrs;learners;locs) == ohc_v2_NewVoters(Cmd) >z> ohc_v2_Voter(Cmd;cmdeq;flrs;learners;locs) z
Definitions occuring in Statement :
ohc_v2_NewVoters: ohc_v2_NewVoters(Cmd),
ohc_v2_Voter: ohc_v2_Voter(Cmd;cmdeq;flrs;learners;locs),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
ohc_v2_Replica
ohc\_v2\_Replica(Cmd;cmdeq;flrs;learners;locs) ==
ohc\_v2\_NewVoters(Cmd) >z> ohc\_v2\_Voter(Cmd;cmdeq;flrs;learners;locs) z
Date html generated:
2012_02_20-PM-05_52_40
Last ObjectModification:
2012_02_17-PM-10_26_06
Home
Index