Nuprl Definition : run-command

run-command(r;t;n) == lg-label(snd(snd((r t)));n)

Definitions occuring in Statement : lg-label: lg-label(g;x), pi2: snd(t), apply: f a
FDL editor aliases : run-command

Latex:
run-command(r;t;n) == lg-label(snd(snd((r t)));n) Date html generated: 2015_07_23-AM-11_17_19 Last ObjectModification: 2012_02_25-PM-03_45_29 Home Index