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
Latex:
Accept  ==    \mlambda{}tr.(inl  (snd(tr)))[AcceptOrRejectTaggedTrue]
Date html generated:
2016_05_16-AM-10_53_05
Last ObjectModification:
2012_02_25-AM-10_52_06
Theory : event-ordering
Home
Index