Nuprl Definition : lg-map
lg-map(f;g) == map(λtr.let lbl,in,out = tr in <f lbl, in, out>;g)
Definitions occuring in Statement :
map: map(f;as),
spreadn: spread3,
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
lg-map
Latex:
lg-map(f;g) == map(\mlambda{}tr.let lbl,in,out = tr in <f lbl, in, out>g)
Date html generated:
2015_07_23-AM-11_03_23
Last ObjectModification:
2012_02_25-PM-03_36_11
Home
Index