Nuprl Definition : Paxos-spec8-spec76
MaxReserve == es-interface-accum(λmx,x. imax(mx;snd(x));0;x1)
Definitions occuring in Statement :
imax: imax(a;b),
pi2: snd(t),
lambda: λx.A[x],
natural_number: $n
Latex:
MaxReserve == es-interface-accum(\mlambda{}mx,x. imax(mx;snd(x));0;x1)
Date html generated:
2016_05_16-AM-10_53_04
Last ObjectModification:
2012_02_25-AM-10_52_04
Theory : event-ordering
Home
Index