Nuprl Definition : run-command-node

run-command-node(r;t;n) ==  n < lg-size(snd(snd((r t))))


Definitions occuring in Statement :  lg-size: lg-size(g),  less_than: a < b,  pi2: snd(t),  apply: f a
FDL editor aliases :  run-command-node
Latex:
run-command-node(r;t;n)  ==    n  <  lg-size(snd(snd((r  t))))


Date html generated: 2015_07_23-AM-11_17_14
Last ObjectModification: 2012_02_25-PM-03_45_24

Home Index