Nuprl Definition : bm_map
bm_map(f;m) ==  bm_mapi(λk.f;m)
Definitions occuring in Statement : 
bm_mapi: bm_mapi(f;m)
, 
lambda: λx.A[x]
FDL editor aliases : 
bm_map
Latex:
bm\_map(f;m)  ==    bm\_mapi(\mlambda{}k.f;m)
Date html generated:
2016_05_17-PM-01_43_19
Last ObjectModification:
2012_08_30-AM-11_34_07
Theory : binary-map
Home
Index