Nuprl Definition : merge-int
merge-int(as;bs) == reduce(λb,l. insert-int(b;l);as;bs)
Definitions occuring in Statement :
insert-int: insert-int(x;l),
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
insert-int: insert-int(x;l)
FDL editor aliases :
merge-int
Latex:
merge-int(as;bs) == reduce(\mlambda{}b,l. insert-int(b;l);as;bs)
Date html generated:
2016_05_14-AM-06_30_13
Last ObjectModification:
2015_12_03-PM-02_07_25
Theory : list_0
Home
Index