Nuprl Definition : pv8_p1_same_command
pv8_p1_same_command(Cid;Op;eq_Cid) ==
zc.let loc1,cid1,op1 = zc in
z.let loc2,cid2,op2 = z in
(eqof(IdDeq) loc1 loc2) 
(eqof(eq_Cid) cid1 cid2)
Definitions occuring in Statement :
id-deq: IdDeq,
band: p q,
spreadn: spread3,
apply: f a,
lambda: x.A[x],
eqof: eqof(d)
FDL editor aliases :
pv8_p1_same_command
pv8_p1_same_command
pv8\_p1\_same\_command(Cid;Op;eq$_{Cid}$) ==
\mlambda{}zc.let loc1,cid1,op1 = zc in
\mlambda{}z.let loc2,cid2,op2 = z in
(eqof(IdDeq) loc1 loc2) \mwedge{}\msubb{} (eqof(eq$_{Cid}$) cid1 cid2)
Date html generated:
2012_02_20-PM-07_15_23
Last ObjectModification:
2012_02_06-PM-01_37_31
Home
Index