Nuprl Definition : new_23_sig_vote2prop
new_23_sig_vote2prop(Cmd) == λloc,z. let z,loc' = z in let z,c = z in let n,i = z in {<n, c>}
Definitions occuring in Statement :
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
new_23_sig_vote2prop
Latex:
new\_23\_sig\_vote2prop(Cmd) == \mlambda{}loc,z. let z,loc' = z in let z,c = z in let n,i = z in \{<n, c>\}
Date html generated:
2015_07_23-PM-03_51_47
Last ObjectModification:
2013_11_23-PM-09_56_07
Home
Index