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:
2016_05_17-AM-10_41_21
Last ObjectModification:
2012_02_25-PM-03_40_33
Theory : process-model
Home
Index