Accept == 
tr.(inl (snd(tr)) )[AcceptOrRejectTaggedTrue]
Definitions :
abbreviation: AcceptOrRejectTaggedTrue,
pi2: snd(t),
inl: inl x ,
lambda: x.A[x]
Accept == \mlambda{}tr.(inl (snd(tr)) )[AcceptOrRejectTaggedTrue]
Date html generated:
2010_08_30-AM-12_51_07
Last ObjectModification:
2010_08_16-PM-08_10_52
Home
Index