Nuprl Definition : add-cause
add-cause(ev;ext) == lg-map(λx.<ev, x>;ext)
Definitions occuring in Statement :
lg-map: lg-map(f;g),
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
add-cause
Latex:
add-cause(ev;ext) == lg-map(\mlambda{}x.<ev, x>ext)
Date html generated:
2015_07_23-AM-11_08_30
Last ObjectModification:
2012_02_25-PM-03_39_17
Home
Index