Nuprl Definition : run-system

run-system(r;t) ==  snd((r (t - 1)))


Definitions occuring in Statement :  pi2: snd(t),  apply: f a,  subtract: n - m,  natural_number: $n
FDL editor aliases :  run-system
Latex:
run-system(r;t)  ==    snd((r  (t  -  1)))


Date html generated: 2015_07_23-AM-11_10_14
Last ObjectModification: 2012_02_25-PM-03_40_33

Home Index