Nuprl Definition : new_23_sig_when_new_proposal
new_23_sig_when_new_proposal(Cmd;slots) ==
λloc,zk,z. let n,c = zk in if set-sig-member(slots) n z then {} else {<n, c>} fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x},
empty-bag: {},
set-sig-member: set-sig-member(s)
FDL editor aliases :
new_23_sig_when_new_proposal
Latex:
new\_23\_sig\_when\_new\_proposal(Cmd;slots) ==
\mlambda{}loc,zk,z. let n,c = zk in if set-sig-member(slots) n z then \{\} else \{<n, c>\} fi
Date html generated:
2015_07_23-PM-03_51_59
Last ObjectModification:
2013_11_23-PM-09_56_20
Home
Index