Nuprl Definition : pv11_p1_SpawnFirstScout-program
pv11_p1_SpawnFirstScout-program(Cmd;accpts;mf) ==
on-loc-class-program(λldr.(pv11_p1_Scout-program(Cmd;accpts;mf) (pv11_p1_mk_bnum() 0 ldr)))
Definitions occuring in Statement :
pv11_p1_Scout-program: pv11_p1_Scout-program(Cmd;accpts;mf),
pv11_p1_mk_bnum: pv11_p1_mk_bnum(),
on-loc-class-program: on-loc-class-program(pr),
apply: f a,
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
pv11_p1_SpawnFirstScout-program
Latex:
pv11\_p1\_SpawnFirstScout-program(Cmd;accpts;mf) ==
on-loc-class-program(\mlambda{}ldr.(pv11\_p1\_Scout-program(Cmd;accpts;mf) (pv11\_p1\_mk\_bnum() 0 ldr)))
Date html generated:
2015_07_23-PM-04_33_53
Last ObjectModification:
2014_11_26-AM-11_31_01
Home
Index