Nuprl Definition : Paxos-spec8-spec79
Accept == λtr.(inl (snd(tr)))[AcceptOrRejectTaggedTrue]
Definitions occuring in Statement :
abbreviation: AcceptOrRejectTaggedTrue,
pi2: snd(t),
lambda: λx.A[x],
inl: inl x
Accept == \mlambda{}tr.(inl (snd(tr)))[AcceptOrRejectTaggedTrue]
Date html generated:
2015_07_17-AM-09_10_46
Last ObjectModification:
2012_02_25-AM-10_52_06
Home
Index