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