Nuprl Definition : pv8_p1_CommanderState
pv8_p1_CommanderState(accpts) == 
b.Memory-class(pv8_p1_on_p2b() b;z.{accpts};pv8_p1_p2b'base())
Definitions occuring in Statement :
pv8_p1_on_p2b: pv8_p1_on_p2b(),
pv8_p1_p2b'base: pv8_p1_p2b'base(),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
pv8_p1_CommanderState
pv8_p1_CommanderState
pv8\_p1\_CommanderState(accpts) == \mlambda{}b.Memory-class(pv8\_p1\_on\_p2b() b;\mlambda{}z.\{accpts\};pv8\_p1\_p2b'base())
Date html generated:
2012_02_20-PM-07_27_07
Last ObjectModification:
2012_02_06-PM-01_45_25
Home
Index