Nuprl Definition : merge
merge(as;bs) == reduce(λb,l. s-insert(b;l);as;bs)
Definitions occuring in Statement :
s-insert: s-insert(x;l),
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
s-insert: s-insert(x;l)
FDL editor aliases :
merge
Latex:
merge(as;bs) == reduce(\mlambda{}b,l. s-insert(b;l);as;bs)
Date html generated:
2016_05_15-PM-03_52_19
Last ObjectModification:
2015_09_23-AM-07_45_19
Theory : general
Home
Index