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:
2016_05_17-AM-10_37_43
Last ObjectModification:
2012_02_25-PM-03_39_17
Theory : process-model
Home
Index