Nuprl Definition : pv11_p1_CommanderOutput

pv11_p1_CommanderOutput(Cmd;accpts;reps;mf) ==
  λz.let bnum,slt,cmd = z in 
     (((pv11_p1_commander_output(Cmd;accpts;reps;mf) <bnum, slt, cmd> o pv11_p1_p2b'base(Cmd;mf)) o pv11_p1_CommanderSta\000Cte(Cmd;accpts;mf) bnum slt) once)


Definitions occuring in Statement :  pv11_p1_commander_output: pv11_p1_commander_output(Cmd;accpts;reps;mf),  pv11_p1_CommanderState: pv11_p1_CommanderState(Cmd;accpts;mf),  pv11_p1_p2b'base: pv11_p1_p2b'base(Cmd;mf),  once-class: (X once),  eclass2: (X o Y),  eclass1: (f o X),  spreadn: spread3,  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  pv11_p1_CommanderOutput
Latex:
pv11\_p1\_CommanderOutput(Cmd;accpts;reps;mf)  ==
    \mlambda{}z.let  bnum,slt,cmd  =  z  in 
          (((pv11\_p1\_commander\_output(Cmd;accpts;reps;mf)  <bnum,  slt,  cmd>  o  pv11\_p1\_p2b'base(Cmd;mf))  o  \000Cpv11\_p1\_CommanderState(Cmd;accpts;mf)  bnum 
                                                                                                              slt)  once)


Date html generated: 2015_07_23-PM-04_32_01
Last ObjectModification: 2014_11_26-AM-11_27_14

Home Index