Nuprl Definition : votes-from-inning
votes-from-inning(i;L) == mapfilter(λr.let a,j,v = rcvd-vote(r) in <a, v>;λr.inning(r) =z i;L)
Definitions occuring in Statement :
rcvd-inning-eq: inning(r) =z i,
rcvd-vote: rcvd-vote(x),
mapfilter: mapfilter(f;P;L),
spreadn: spread3,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
votes-from-inning
votes-from-inning(i;L) == mapfilter(\mlambda{}r.let a,j,v = rcvd-vote(r) in <a, v>\mlambda{}r.inning(r) =\msubz{} i;L)
Date html generated:
2015_07_17-AM-11_47_48
Last ObjectModification:
2012_02_25-AM-11_49_24
Home
Index