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
MaxReserve == es-interface-accum(\mlambda{}mx,x. imax(mx;snd(x));0;x1)
Date html generated:
2015_07_17-AM-09_10_46
Last ObjectModification:
2012_02_25-AM-10_52_04
Home
Index